Laski, Janusz <br/><br/>
Software verification and analysis 

 -  2009 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Software Engineering Computer Science