Marco Roveri

No bio available. Add one in Open Library.

Books by Marco Roveri (50 max)

+ shelf+ list

Formal Methods for Industrial Critical Systems 15th International Workshop, FMICS 2010, Antwerp, Belgium, September 20-21, 2010. Proceedings

2010

Stefan Kowalewski, Marco Roveri

+ shelf+ list

Software Engineering and Formal Methods : SEFM 2017 Collocated Workshops DataMod, FAACS, MSE, CoSim-CPS, and FOCLASA, Trento, Italy, September 4-5, ...

2018

Antonio Cerone, Marco Roveri