Drechsler, Rolf (Editor) <br/><br/>
Advanced Formal Verification 

 - 1st Ed. 
 -  Kluwer Academic Publishers  2004 
 - xxv, 249p.  25 cm. 
<br/><br/><br/>Text in English 
<br/><br/><label>ISBN: </label>1402077211 
<br/><br/><label>Subjects--Facted Index Terms: </label><br/>ELN
<br/><br/><label>Index Terms--Genre/Form: </label><br/>F-12
<br/><br/><label>Dewey Class. No.: </label>631.38173  / DRE