Alessandro Cimatti
Alessandro Cimatti
3 books in the database
Books
Theory and Applications of Satisfiability Testing – SAT 2012Alessandro Cimatti
Theory and Applications of Satisfiability Testing – SAT 2012
Alessandro Cimatti · 2012
Formal Methods for Industrial Critical SystemsAlessandro Cimatti
Formal Methods for Industrial Critical Systems
Alessandro Cimatti · 2023
Software Engineering and Formal MethodsAlessandro Cimatti
Software Engineering and Formal Methods
Alessandro Cimatti · 2017
Co-authored books and collections
Books that list Alessandro Cimatti among their authors but not as the lead author: co-written works, collections and compilations.