Alessandro Cimatti

No bio available. Add one in Open Library.

Books by Alessandro Cimatti (50 max)

+ shelf+ list

Formal Methods for Hardware Verification 6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2006, Bertinoro, Italy, May 22-27, 2006, Advances Lectures

2006

Marco Bernardo, Alessandro Cimatti

+ shelf+ list

Theory and Applications of Satisfiability Testing – SAT 2012 15th International Conference, Trento, Italy, June 17-20, 2012. Proceedings

2012

Alessandro Cimatti

+ shelf+ list

Software Engineering and Formal Methods 15th International Conference, SEFM 2017, Trento, Italy, September 4–8, 2017, Proceedings

2017

Alessandro Cimatti, Marjan Sirjani

+ shelf+ list

Formal Methods for Industrial Critical Systems 28th International Conference, FMICS 2023, Antwerp, Belgium, September 20-22, 2023, Proceedings

2023

Alessandro Cimatti, Laura Titolo