A Translation-based Approach to the Verification of Modular Equivalence

Emilia Oikarinen, Tomi Janhunen

Research output: Contribution to journal › Article › Scientific › peer-review

9 Citations (Scopus)

Original language	English
Pages (from-to)	591-613
Journal	Journal of Logic and Computation
Volume	19
Issue number	4
Publication status	Published - 2009
MoE publication type	A1 Journal article-refereed

Cite this

@article{328b10fd691a43c59c1585b8df2bde04,

title = "A Translation-based Approach to the Verification of Modular Equivalence",

author = "Emilia Oikarinen and Tomi Janhunen",

year = "2009",

language = "English",

volume = "19",

pages = "591--613",

journal = "Journal of Logic and Computation",

issn = "1465-363X",

publisher = "Oxford University Press",

number = "4",

}