Janusz Laski <br/><br/>
Software verification and Analysis 

 - New Delhi  Springer  2011 
<br/><br/><label>ISBN: </label>0000104678 
<br/><br/><label>Subjects--Topical Terms: </label><br/> Software <br/> verification<br/>Analysis <br/>Software Engineering
<br/><br/><label>Dewey Class. No.: </label>1.6425