Symbolic Execution Game Semantics (2020)
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