%0 Journal Article
%B Fundamenta Informaticae 93(1-3), str. 305-324, 2009
%D 2009
%G eng
%T A translator of Java programs to TADDs