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

TytułMore flexible models using new version of J2TADD – a translator of Java to TADDs
Publication TypeJournal Article
Rok publikacji2009
AutorzyRataj A
JournalTheoretical and Applied Informatics, vol. 21, No. 2/2009, pp. 107-114