"Laski, Janusz" <br/><br/>
Software Verification and Analysis 

 - \\201100ENGGPSX 
 - Springer India Pvt Ltd   2011  New Delhi  
 - 224p.  
<br/><br/> includes index and biblioraphy 
<br/><br/><label>ISBN: </label>9.79E+12