Laski, Janusz <br/><br/>
Software verification and analysis : an integrated, hands-on approach / 
Janusz Laski and William Stanley 
 - New Delhi  Springer  2009 
 - 224 p. 
<br/><br/><label>ISBN: </label>9788132204510 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computer software --Verification.
<br/><br/><label>Dewey Class. No.: </label>005.14 LAS-J