Refinement-Based Game Semantics for Certified Abstraction Layers.

Jrmie Koenig, Zhong Shao

Browse the full LICS paper archive.