TY - JOUR AU - Artur Rataj BT - Theoretical and Applied Informatics, vol. 21, No. 2/2009, pp. 107-114 LA - eng PY - 2009 T2 - Theoretical and Applied Informatics, vol. 21, No. 2/2009, pp. 107-114 TI - More flexible models using new version of J2TADD – a translator of Java to TADDs ER -