Lochbihler, A. (2019). A Machine-Checked, Type-Safe Model of Java Concurrency: Language, Virtual Machine, Memory Model, and Verified Compiler. https://doi.org/10.5445/KSP/1000028867
Παραπομπή σε μορφή Chicago (17η εκδ.)Lochbihler, Andreas. A Machine-Checked, Type-Safe Model of Java Concurrency: Language, Virtual Machine, Memory Model, and Verified Compiler. 2019. https://doi.org/10.5445/KSP/1000028867.
Παραπομπή σε μορφή MLA (9th εκδ.)Lochbihler, Andreas. A Machine-Checked, Type-Safe Model of Java Concurrency: Language, Virtual Machine, Memory Model, and Verified Compiler. 2019. https://doi.org/10.5445/KSP/1000028867.
Πρόσοχή: Οι παραπομπές μπορεί να μην είναι 100% ακριβείς.