A Contextual Equivalence Checker for IMJ _
Andrzej S. Murawski‚ Steven J. Ramsay and Nikos Tzevelekos
Book Title
Automated Technology for Verification and Analysis − 13th International Symposium‚ ATVA 2015‚ Shanghai‚ China‚ October 12−15‚ 2015‚ Proceedings
Pages
234–240
Year
2015