| Tytuł | A translator of Java programs to TADDs |
| Publication Type | Journal Article |
| Rok publikacji | 2009 |
| Autorzy | Rataj A, Woźna B., Zbrzeźny A. |
| Journal | Fundamenta Informaticae 93(1-3), str. 305-324, 2009 |
IITiS
Instytut Informatyki Teoretycznej
i Stosowanej Polskiej Akademii Nauk
