Kropf, T <br/><br/>
Introduction to formal hardware verification 

 - Berlin  Springer  1999 
 - ix, 299p. 
<br/><br/><label>ISBN: </label>9783540654452