Paper: Refinement-Based Game Semantics for Certified Abstraction Layers (at LICS 2020)
Authors: Jérémie Koenig Zhong Shao
Abstract
No Abstract Available
BibTeX
@InProceedings{KoenigShao-RefinementBasedGame, author = {Jérémie Koenig and Zhong Shao}, title = {Refinement-Based Game Semantics for Certified Abstraction Layers}, booktitle = {Proceedings of the Thirty fifth Annual IEEE Symposium on Logic in Computer Science (LICS 2020)}, year = {2020}, month = {July}, pages = {633--647}, location = {Saarbrucken, Germany}, publisher = {IEEE Computer Society Press} }