More flexible models using new version of J2TADD – a translator of Java to TADDs

Author Rataj A.
Title More flexible models using new version of J2TADD – a translator of Java to TADDs
Journal Theoretical and Applied Informatics, vol. 21, No. 2/2009, pp. 107-114
Year 2009
Status Published