Edmund M Clarke  Jr., Orna Grumberg  Daniel Kroening  Doron Peled   Helmut Veith <br/><br/>
Model Checking 

 - London  The mlt press  2018 
 - xviii, 402 p.   ill.  23 cm. 
<br/><br/> Includes bibliographical references and index. 
<br/><br/><label>ISBN: </label>9780262038836 (hb) 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computer scinece--Boolean encoding--Softaware--Hardware--Symmetry--FC
<br/><br/><label>Dewey Class. No.: </label>005.131  / MOD