Lochbihler, A. (2012). A Machine-Checked, Type-Safe Model of Java Concurrency: Language, Virtual Machine, Memory Model, and Verified Compiler. KIT Scientific Publishing.
Cita Chicago Style (17a ed.)Lochbihler, Andreas. A Machine-Checked, Type-Safe Model of Java Concurrency: Language, Virtual Machine, Memory Model, and Verified Compiler. KIT Scientific Publishing, 2012.
Cita MLA (9a ed.)Lochbihler, Andreas. A Machine-Checked, Type-Safe Model of Java Concurrency: Language, Virtual Machine, Memory Model, and Verified Compiler. KIT Scientific Publishing, 2012.
Precaución: Estas citas no son 100% exactas.
