*Result*: Java and the Java Memory Model – a Unified, Machine-Checked Formalisation
Title:
Java and the Java Memory Model – a Unified, Machine-Checked Formalisation
Authors:
Source:
ISSN: 1611-3349.
Publisher Information:
Springer-Verlag
Publication Year:
2012
Collection:
KITopen (Karlsruhe Institute of Technologie)
Subject Terms:
Document Type:
*Academic Journal*
article in journal/newspaper<br />conference object
Language:
English
ISSN:
1611-3349
Relation:
Lecture notes in computer science; info:eu-repo/semantics/altIdentifier/isbn/978-3-642-28868-5; info:eu-repo/semantics/altIdentifier/issn/1611-3349; https://publikationen.bibliothek.kit.edu/1000120863
Availability:
Rights:
info:eu-repo/semantics/openAccess
Accession Number:
edsbas.F6AD5F60
Database:
BASE