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

 - New Delhi  Springer Publishing Company 
 - Soft Binding  xviii     224 
<br/><br/><br/>English 
<br/><br/><label>ISBN: </label>978-81-322-0451-0 
<br/><br/><label>Subjects--Topical Terms: </label>--Software verification, Computer science
<br/><br/><label>Dewey Class. No.: </label>005.14 LAS-S