Douglas L. Perry <br/><br/>
Applied formal verification 
Douglas L. Perry 
 - New York.  McGraw Hill  2005 
 - xiv, 237p.:  ill.;  24cm. 
<br/><br/><label>ISBN: </label>007144372x 
<br/><br/><label>Dewey Class. No.: </label>621.3815