A translator of Java programs to TADDs

Submitted by gawron on

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

Historia zmian