dc.contributor.author | Tzevelekos, N | en_US |
dc.contributor.author | Murawski, AS | en_US |
dc.date.accessioned | 2020-10-21T09:36:41Z | |
dc.date.available | 2020-10-07 | en_US |
dc.identifier.issn | 0004-5411 | en_US |
dc.identifier.uri | https://qmro.qmul.ac.uk/xmlui/handle/123456789/67667 | |
dc.publisher | Association for Computing Machinery | en_US |
dc.relation.ispartof | Journal of the ACM | en_US |
dc.rights | This is a pre-copyedited, author-produced version of an article accepted for publication in Journal of the ACM following peer review. | |
dc.title | Game Semantics for Interface Middleweight Java | en_US |
dc.type | Article | |
dc.rights.holder | © 2020 Association for Computing Machinery | |
pubs.notes | Not known | en_US |
pubs.publication-status | Accepted | en_US |
dcterms.dateAccepted | 2020-10-07 | en_US |
rioxxterms.funder | Default funder | en_US |
rioxxterms.identifier.project | Default project | en_US |
qmul.funder | Game Semantics for Program Analysis::Royal Academy of Engineering | en_US |
qmul.funder | Game Semantics for Program Analysis::Royal Academy of Engineering | en_US |