Alessandro Cimatti

Books
Formal Methods for Industrial Critical Systems Formal Methods for Industrial Critical Systems
Formal Methods for Industrial Critical Systems
2023
Software Engineering and Formal Methods Software Engineering and Formal Methods
Software Engineering and Formal Methods
2017