Home › Authors › Alessandro Cimatti 👤 Alessandro Cimatti 2 books Books by Alessandro Cimatti Theory and Applications of Satisfiability Testing – SAT 2012 2012 Formal Methods for Hardware Verification 2006
