Non abbiamo ancora una biografia di Alessandro Cimatti.
Pubblicato in Inglese
Per saperne di più: Open Library (si apre in una nuova scheda)
Theory and Applications of Satisfiability Testing – SAT 2012
2012
Software Engineering and Formal Methods
2017
Formal Methods for Industrial Critical Systems
2023
Formal Methods for Hardware Verification
2006
Otium
