APA-Zitierstil (7. Ausg.)

Drodt, D., & Hähnle, R. (2026). RustyDL: A Program Logic for Rust.

Chicago-Zitierstil (17. Ausg.)

Drodt, Daniel, und Reiner Hähnle. RustyDL: A Program Logic for Rust. 2026.

MLA-Zitierstil (9. Ausg.)

Drodt, Daniel, und Reiner Hähnle. RustyDL: A Program Logic for Rust. 2026.

Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.