dc.contributor.author | Tzevelekos, N | en_US |
dc.contributor.author | Lin, Y-Y | en_US |
dc.contributor.author | International Conference on Formal Structures for Computation and Deduction | en_US |
dc.date.accessioned | 2020-06-18T09:05:07Z | |
dc.date.available | 2020-04-14 | en_US |
dc.identifier.uri | https://qmro.qmul.ac.uk/xmlui/handle/123456789/65064 | |
dc.rights | This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made. | |
dc.title | Symbolic Execution Game Semantics | en_US |
dc.type | Conference Proceeding | |
dc.rights.holder | © The Author(s) 2020 | |
pubs.notes | Not known | en_US |
pubs.publication-status | Accepted | en_US |
dcterms.dateAccepted | 2020-04-14 | en_US |
rioxxterms.funder | Default funder | en_US |
rioxxterms.identifier.project | Default project | en_US |
qmul.funder | System-Level Game Semantics: A unifying framework for composing systems::Engineering and Physical Sciences Research Council | en_US |