TY  - BOOK
AU  - Orzechowski,Maciej
AU  - Woźna-Szcześniak,Bożena
AU  - Siwiak,Tomasz
TI  - Towards verification of Java programs in VerICS
T2  - Prace IPI PAN =
PY  - 2006///
CY  - Warszawa
PB  - Instytut Podstaw Informatyki Polskiej Akademii Nauk
KW  - Java (język programowania)
KW  - kaba
KW  - Przetwarzanie rozproszone
KW  - Teoria automatów
N1  - Praca wydana w czasopiśmie: Prace IPI PAN / Instytut Podstaw Informatyki Polskiej Akademii Nauk ; nr 997; Bibliogr. s. 30-33; Na prawach rękopisu
ER  -