Publikacje

Found 2 results

Filters: Autor 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.