A Translation-Based Approach to the Verification of Modular Equivalence

Reference:

Emilia Oikarinen and Tomi Janhunen. A translation-based approach to the verification of modular equivalence. Journal of Logic and Computation, 19(4):591–613, August 2009.

Suggested BibTeX entry:

@article{OJ09:jlc,
    author = {Emilia Oikarinen and Tomi Janhunen},
    journal = {Journal of Logic and Computation},
    month = {August},
    number = {4},
    pages = {591--613},
    title = {A Translation-Based Approach to the Verification of Modular Equivalence},
    volume = {19},
    year = {2009},
}