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

TitleMore flexible models using new version of J2TADD – a translator of Java to TADDs
Publication TypeJournal Article
Year of Publication2009
AuthorsRataj A
JournalTheoretical and Applied Informatics, vol. 21, No. 2/2009, pp. 107-114