Marco Roveri

Identifiers

Open LibraryOL8448130A

Books by Marco Roveri

Total count: 2

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

Springer London, Limited2010-01-01
Software Engineering and Formal Methods : SEFM 2017 Collocated WorkshopsDataMod, FAACS, MSE, CoSim-CPS, and FOCLASA, Trento, Italy, September 4-5, ...

Springer2018-02-03