4 works on record
Theory and Applications of Satisfiability Testing – SAT 2012
Software Engineering and Formal Methods
Formal Methods for Hardware Verification
Formal Methods for Industrial Critical Systems
