Alessandro CimattiBooksFormal Methods for Hardware VerificationTheory and Applications of Satisfiability Testing – SAT 2012Formal Methods for Industrial Critical SystemsSoftware Engineering and Formal MethodsAuthor data: Open Library
