Alessandro Cimatti · 4 obras en el catálogoObrasTheory and Applications of Satisfiability Testing – SAT 2012Software Engineering and Formal MethodsFFormal Methods for Hardware VerificationFormal Methods for Hardware VerificationFFormal Methods for Industrial Critical SystemsFormal Methods for Industrial Critical Systems