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

 - 1st ed. 
 - New York  Springer  1999 
 - x,299p. 
<br/><br/><label>ISBN: </label> RS 5651.23 
<br/><br/><label>Dewey Class. No.: </label>621.31 THO,K