Marco Roveri

Books that list Marco Roveri among their authors but not as the lead author: co-written works, collections and compilations.

Software Engineering and Formal Methods : SEFM 2017 Collocated WorkshopsAntonio Cerone

Software Engineering and Formal Methods : SEFM 2017 Collocated Workshops

Antonio Cerone · 2018

Formal Methods for Industrial Critical SystemsStefan Kowalewski

Formal Methods for Industrial Critical Systems

Stefan Kowalewski · 2010