Formal Methods in Computer-Aided Design, 2009. FMCAD 2009 by Armin Biere | Menrva Books | MenrvaBooks