Grady, Jeffrey O., <br/><br/>
System Verification : 

 -  Academic Press,  2007. 
 - 337 pages 
<br/><br/><label>ISBN: </label>9780123740144 
<br/><br/><label>Subjects--Topical Terms: </label><br/>TECHNOLOGY & ENGINEERING.
<br/><br/><label>Dewey Class. No.: </label>620.001171  / GRA