A Contextual Equivalence Checker for IMJ ∗.

Andrzej S. Murawski, Steven J. Ramsay, Nikos Tzevelekos

Browse the full ATVA paper archive.