Marco Roveri

Livres
Software Engineering and Formal Methods Software Engineering and Formal Methods
Software Engineering and Formal Methods
2018
Formal Methods for Industrial Critical Systems Formal Methods for Industrial Critical Systems
Formal Methods for Industrial Critical Systems
2010