@article{bibcite_14968,
  author = {Artur Rataj},
  title = {More flexible models using new version of J2TADD {\textendash} a translator of Java to TADDs},
  year = {2009},
  journal = {Theoretical and Applied Informatics, vol. 21, No. 2/2009, pp. 107-114},
  language = {eng},
}