Toggle navigation
Login
Toggle navigation
JavaScript is disabled for your browser. Some features of this site may not work without it.
Game semantics for interface middleweight Java.
QMRO Home
School of Electronic Engineering and Computer Science
Electronic Engineering and Computer Science
Game semantics for interface middleweight Java.
QMRO Home
School of Electronic Engineering and Computer Science
Electronic Engineering and Computer Science
Game semantics for interface middleweight Java.
Browse
All of QMRO
Communities & Collections
By Issue Date
Authors
Titles
Subjects
This Collection
By Issue Date
Authors
Titles
Subjects
Administrators only
Login
Statistics
Most Popular Items
Statistics by Country
Most Popular Authors
Game semantics for interface middleweight Java.
View/
Open
Accepted version (332.3Kb)
Editors
Jagannathan, S
Sewell, P
Pagination
517 - 528
Publisher
ACM
Publisher URL
http://dl.acm.org/citation.cfm?id=2535838
ISBN-13
978-1-4503-2544-8
Metadata
Show full item record
Authors
Murawski, AS; Tzevelekos, N
URI
http://qmro.qmul.ac.uk/xmlui/handle/123456789/23397
Collections
Electronic Engineering and Computer Science
[3442]
Copyright statements
© 2017 ACM, Inc