Perry, Douglas L, Foster, Harry D <br/><br/>
Applied formal verification 

 - NEW YORK  MCGRAW HILL  2005 
 - XIV,237 P 
<br/><br/><label>ISBN: </label>0-07-144372-X 
<br/><br/><label>Subjects--Topical Terms: </label><br/>APPLIED FORMAL VERIFICATION.SIMULATION BASED VERIFICATION.SYSTEM LEVEL SIMULATION
<br/><br/><label>Dewey Class. No.: </label>621.3815 PER