A Translation-based Approach to the Verification of Modular Equivalence

Research output: Contribution to journalArticleScientificpeer-review

Researchers

Research units

Details

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

ID: 3584090