A translator of Java programs to TADDs

TitleA translator of Java programs to TADDs
Publication TypeConference Paper
Year of Publication2008
AuthorsRataj A, Woźna B., Zbrzeźny A.
Conference NameCS&P `08 17 th International Conference on Concurrency, Specification and Programming. Gross Vaeter See near Berlin, 29th September – 1 October 2008, pp. 524-535