Laski, Janusz <br/><br/>
Software verification and analysis : an integrated, hands-on approach 

 - New Delhi  Springer  2002 
 - xvi, 670p.  
<br/><br/> Includes bibliographical references and index 
<br/><br/><label>ISBN: </label>9788132204510 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Software -- Verification and analysis