%0 Journal Article
%B Theoretical and Applied Informatics, vol. 21, No. 2/2009, pp. 107-114
%D 2009
%G eng
%T More flexible models using new version of J2TADD – a translator of Java to TADDs