Łaski, Janusz. <br/><br/>
Software verification and analysis :  An integrated, hands-on approach  
by Janusz Laski, William Stanley. 
 - New Delhi,  Springer,  2009. 
 - xviii, 224 p.  
<br/><br/>Includes bibliographical references and index. 
<br/><br/><label>ISBN: </label>978132204510 9781848822399 
<br/><br/><label>Subjects--Topical Terms: </label><br/>COMPUTER SCIENCE<br/>SOFTWARE ANALYSIS AND TESTING<br/>SOFTWARE QUALITY ASSURANCE
<br/><br/><label>Dewey Class. No.: </label>005.1 LAS/S