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