Laski, Janusk. <br/><br/>
Software verification and analysis :  integrated hands on approach / 
By Janusz Laski and William Stanley. 
 - 1st ed. 
 - New Delhi :  Springer ,  2012. 
 - xviii,224 p.;  23.5 cm. 
<br/><br/><label>ISBN: </label>9788132204510 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Prove a program correct<br/>Intermediate program representation<br/>Program dependencies
<br/><br/><label>Dewey Class. No.: </label>005.368   / LASJ