Symbolic Execution Game Semantics.

Yu-Yang Lin, Nikos Tzevelekos

Browse the full FSCD paper archive.