Symbolic Execution Game Semantics (2020)

First Author: Lin Y-Y
Attributed to:  System-Level Game Semantics: A unifying framework for composing systems funded by EPSRC

Abstract

No abstract provided

Bibliographic Information

Publication URI: https://drops.dagstuhl.de/opus/volltexte/2020/12349/

Type: Conference/Paper/Proceeding/Abstract

Volume: 167