Software Engineering and Formal Methods : SEFM 2017 Collocated WorkshopsAntonio Cerone, Marco Roveri · First published 2018Open the Tome
Formal Methods for Industrial Critical SystemsStefan Kowalewski,Marco Roveri · First published 2011Open the Tome
Formal Methods for Industrial Critical SystemsStefan Kowalewski, Marco Roveri · First published 2010Open the Tome
Quality of service in multiservice IP networksMarco Ajmone Marsan, Aldo Roveri · First published 2003Open the Tome
