DRECHSLER, ROLF <br/><br/>
ADVANCED FORMAL VERIFICATION. 

 -  2004 
 - DORDRECHT  KLUWER ACADEMIC PUBLISHERS  2004 
 - 249 
<br/><br/><label>Subjects--Topical Terms: </label><br/>  ADVANCED FORMAL VERIFICATION
<br/><br/><label>Dewey Class. No.: </label>621.392  / DRE