Clarke, Edmund M. (Editor) <br/><br/>
Handbook of model checking 

 - 1st ed. 
 - Switzerland  Springer  2018 
 - xxiv, 1210p. 
<br/><br/><label>ISBN: </label>9783319105741 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Hardware performance and reliability<br/>Security science and technology
<br/><br/><label>Dewey Class. No.: </label>004.24 CLA/H