Marco Roveri

ספרים שבהם Marco Roveri מופיע/ה ברשימת המחברים, לא כמחבר/ת הראשי/ת: ספרים משותפים, אוספים וסיכומים.

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