*Result*: A Machine-Checked, Type-Safe Model of Java Concurrency
*Title*:
A Machine-Checked, Type-Safe Model of Java Concurrency : Language, Virtual Machine, Memory Model, and Verified Compiler / by Andreas Lochbihler
*Author/editor-in-chief*:
*Publication*:
Karlsruhe : KIT Scientific Publishing, 2012
*Distribution*:
Hannover : Technische Informationsbibliothek (TIB)
*Physical description scale*:
Online-Ressource
*Format*:
*Language*:
*eng*
*Subject Added Keywords*:
*ISBN*:
9783866448858