B. Woźna

2009

Rataj A.; Woźna B.; Zbrzeźny A.; A translator of Java programs to TADDs; Fundamenta Informaticae 93(1-3), str. 305-324, 2009; 2009

2008

Rataj A.; Woźna B.; Zbrzeźny A.; 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; 2008