Clarke, E.M. (Ed.) <br/><br/>
Handbook of Model Checking 

 - Switzerland  Springer  2018 
 - xxiv, 1210p. 
<br/><br/><label>ISBN: </label>9783319105741 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computer Systems—Verification
<br/><br/><label>Dewey Class. No.: </label>004.21  / Cla