TY - JOUR
AU - Artur Rataj
AU - B. Woźna
AU - A. Zbrzeźny
BT - Fundamenta Informaticae 93(1-3), str. 305-324, 2009
LA - eng
PY - 2009
T2 - Fundamenta Informaticae 93(1-3), str. 305-324, 2009
TI - A translator of Java programs to TADDs
ER -