Game semantics for interface middleweight Java.
| dc.contributor.author | Murawski, AS | en_US |
| dc.contributor.author | Tzevelekos, N | en_US |
| dc.contributor.editor | Jagannathan, S | en_US |
| dc.contributor.editor | Sewell, P | en_US |
| dc.date.accessioned | 2017-05-26T12:14:46Z | |
| dc.date.issued | 2014 | en_US |
| dc.date.submitted | 2017-03-30T16:49:13.941Z | |
| dc.identifier.isbn | 978-1-4503-2544-8 | en_US |
| dc.identifier.uri | http://qmro.qmul.ac.uk/xmlui/handle/123456789/23397 | |
| dc.format.extent | 517 - 528 | en_US |
| dc.publisher | ACM | en_US |
| dc.title | Game semantics for interface middleweight Java. | en_US |
| dc.type | Conference Proceeding | |
| dc.rights.holder | © 2017 ACM, Inc | |
| pubs.notes | Not known | en_US |
| pubs.publisher-url | http://dl.acm.org/citation.cfm?id=2535838 | en_US |
| qmul.funder | Game Semantics for Program Analysis::Royal Academy of Engineering | en_US |
