A translator of Java programs to TADDs [1]
Tytuł | A translator of Java programs to TADDs |
Publication Type | Journal Article |
Rok publikacji | 2009 |
Autorzy | Rataj A [2], Woźna B. [3], Zbrzeźny A. [4] |
Journal | Fundamenta Informaticae 93(1-3), str. 305-324, 2009 |