Publications

Found 2 results
Filters: Author is B. Woźna  [Clear All Filters]
2009
Rataj A, Woźna B., Zbrzeźny A..  2009.  A translator of Java programs to TADDs. Fundamenta Informaticae 93(1-3), str. 305-324, 2009.
2008
Rataj A, Woźna B., Zbrzeźny A..  2008.  A translator of Java programs to TADDs. 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.