Drechsler, Rolf <br/><br/>
Advanced formal verification 

 - 2 
 -  McGraw-Hill Education (India) Limited  2012 
 - 703 
<br/><br/><label>ISBN: </label>NMIT000425