A translator of Java programs to TADDs [1]
Title | A translator of Java programs to TADDs |
Publication Type | Conference Paper |
Year of Publication | 2008 |
Authors | Rataj A [2], Woźna B. [3], Zbrzeźny A. [4] |
Conference Name | CS&P `08 17 th International Conference on Concurrency, Specification and Programming. Gross Vaeter See near Berlin, 29th September – 1 October 2008, pp. 524-535 |