Löfberg N., Bergman, A., Löfberg N., & Bergman, A. (2022). A Comparative Study on Deductive Verification for Rust and C.
ISO-690 (author-date, English)Löfberg Nils, BERGMAN, Aron, Löfberg Nils und BERGMAN, Aron, 2022. A Comparative Study on Deductive Verification for Rust and C.
Modern Language Association 9th editionLöfberg N., A. Bergman, Löfberg N., und A. Bergman. A Comparative Study on Deductive Verification for Rust and C. 2022.
Mohr Siebeck - Recht (Deutsch - Österreich)Löfberg Nils/Bergman, Aron/Löfberg Nils/Bergman, Aron: A Comparative Study on Deductive Verification for Rust and C, 2022.
Emerald - HarvardLöfberg N., Bergman, A., Löfberg N. und Bergman, A. (2022), A Comparative Study on Deductive Verification for Rust and C, Bd. .
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.