Hai notato qualcosa di errato o obsoleto? Faccelo sapere e lo verificheremo.
Su questa opportunità: 24th ACM-IEEE International Symposium on Formal Methods and Models for System Design (MEMOCODE)
