Show simple item record

Game Semantics for Interface Middleweight Java

dc.contributor.authorTzevelekos, Nen_US
dc.contributor.authorMurawski, ASen_US
dc.date.accessioned2020-10-21T09:36:41Z
dc.date.available2020-10-07en_US
dc.identifier.issn0004-5411en_US
dc.identifier.urihttps://qmro.qmul.ac.uk/xmlui/handle/123456789/67667
dc.publisherAssociation for Computing Machineryen_US
dc.relation.ispartofJournal of the ACMen_US
dc.rightsThis is a pre-copyedited, author-produced version of an article accepted for publication in Journal of the ACM following peer review.
dc.titleGame Semantics for Interface Middleweight Javaen_US
dc.typeArticle
dc.rights.holder© 2020 Association for Computing Machinery
pubs.notesNot knownen_US
pubs.publication-statusAccepteden_US
dcterms.dateAccepted2020-10-07en_US
rioxxterms.funderDefault funderen_US
rioxxterms.identifier.projectDefault projecten_US
qmul.funderGame Semantics for Program Analysis::Royal Academy of Engineeringen_US
qmul.funderGame Semantics for Program Analysis::Royal Academy of Engineeringen_US


Files in this item

Thumbnail
Name:
Tzevelekos Game Semantics for ...
Size:
790.6Kb
Format:
application/
Description:
Accepted version
View/Open

This item appears in the following Collection(s)

Show simple item record