Home
About us
Stories
Catalog
Media
Home
Catalog
Authors
Alessandro Cimatti
Alessandro Cimatti
A list of authors with biographies, life dates, and future collections of all their books.
Author's Books
4
Theory and Applications of Satisfiability Testing – SAT 2012
Formal Methods for Industrial Critical Systems
Formal Methods for Hardware Verification
Software Engineering and Formal Methods
