Kropf, Thomas <br/><br/>
Introduction to Formal Hardware Verification 

 -  Subhas Stores Books Corner  2014 
 - 269 
<br/><br/><label>ISBN: </label>9783540654452