Lochbihler, A. (2021). A Machine-Checked, Type-Safe Model of Java Concurrency: Language, Virtual Machine, Memory Model, and Verified Compiler. KIT Scientific Publishing.
Successfully copied to clipboard
Copying to clipboard failed
Chicago Style (17th ed.) Citation
Lochbihler, Andreas. A Machine-Checked, Type-Safe Model of Java Concurrency: Language, Virtual Machine, Memory Model, and Verified Compiler. KIT Scientific Publishing, 2021.
Successfully copied to clipboard
Copying to clipboard failed
MLA citiranje
Lochbihler, Andreas. A Machine-Checked, Type-Safe Model of Java Concurrency: Language, Virtual Machine, Memory Model, and Verified Compiler. KIT Scientific Publishing, 2021.
Successfully copied to clipboard
Copying to clipboard failed
Opozorilo: Ti citati niso vedno 100% točni.