Game Semantic Analysis of Equivalence in 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
411–428
Year
2015