TY - CPAPER
AU - Artur Rataj
AU - B. Woźna
AU - A. Zbrzeźny
BT - 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
LA - eng
PY - 2008
T2 - 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
TI - A translator of Java programs to TADDs
ER -