Laski, Janusz <br/><br/>
Software Verification and .... 

 - London:  Springer,  2009. 
 - xviii, 224  (R13,SH 03 
<br/><br/><label>ISBN: </label>9788132204510 
<br/><br/><label>Source: </label> Pak Book  PKR 624.31 
<br/><br/><label>Dewey Class. No.: </label>005.4