A Translation-based Approach to the Verification of Modular Equivalence

Emilia Oikarinen, Tomi Janhunen

    Research output: Contribution to journalArticleScientificpeer-review

    8 Citations (Scopus)
    Original languageEnglish
    Pages (from-to)591-613
    JournalJournal of Logic and Computation
    Volume19
    Issue number4
    Publication statusPublished - 2009
    MoE publication typeA1 Journal article-refereed

    Cite this