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

 - Newyork  Springer Publisher  1999 
 - 308 
<br/><br/><label>ISBN: </label>9783540654452