A translator of Java programs to TADDs

TytułA translator of Java programs to TADDs
Publication TypeConference Paper
Rok publikacji2008
AutorzyRataj 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