TY  - BOOK
AU  - Lochbihler, Andreas
TI  - A Machine-Checked, Type-Safe Model of Java Concurrency : Language, Virtual Machine, Memory Model, and Verified Compiler
KW  - Java||formal semantics||type safety||memory model||concurrency
UR  - https://www.ksp.kit.edu/9783866448858
ER  -