Jefffrey O Grady <br/><br/>
System Verification 

 - London  Acadamic  2007 
<br/><br/><label>ISBN: </label>0000083255 
<br/><br/><label>Subjects--Topical Terms: </label><br/> Proving <br/> Requirement <br/> Satifies <br/> Solution <br/> System <br/> Verification<br/>Design <br/>Systems programming
<br/><br/><label>Dewey Class. No.: </label>001.642Sy