Java and the Java Memory Model — A Unified, Machine-Checked Formalisation
Keyword(s):
Keyword(s):
Keyword(s):