Software Engineering and Formal Methodsde Alessandro Cimatti, Marjan SirjaniMateriasSoftware engineeringEdiciones (1)Software Engineering and Formal Methods (2017)Springer · ISBN 9783319661964Más obras de Alessandro CimattiTheory and Applications of Satisfiability Testing – SAT 2012
