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

 - New Delhi  Springer  2009 
 - 224p. 
<br/><br/><label>ISBN: </label>9788132204510 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computer software--Verification<br/>Software engineering<br/>Computer science<br/>Computer programming
<br/><br/><label>Dewey Class. No.: </label>005.1  / LAS