Orzechowski, Maciej. <br/><br/>
Towards verification of Java programs in VerICS / 
Maciej Orzechowski, Bożena Woźna and Tomasz Siwiak. 
 - Warszawa :  Instytut Podstaw Informatyki Polskiej Akademii Nauk,  2006. 
 - 33, [1] s. :  il. ;  21 cm. 
 - Prace IPI PAN =  ICS PAS Reports,  nr 997  0138-0648 ; .
 - Prace IPI PAN  997 .
<br/><br/> Praca wydana w czasopiśmie: Prace IPI PAN / Instytut Podstaw Informatyki Polskiej Akademii Nauk ; nr 997. 
<br/><br/>Bibliogr. s. 30-33. 
<br/><br/> Na prawach rękopisu. 
<br/><br/><br/>Streszcz. pol. 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Java (język programowania).<br/>Przetwarzanie rozproszone.<br/>Teoria automatów.