Non abbiamo ancora una biografia di Marco Roveri.
Pubblicato in Inglese
Software Engineering and Formal Methods : SEFM 2017 Collocated Workshops
2018
Formal Methods for Industrial Critical Systems
2010
Otium