APA (7th ed.) Citation

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

Chicago Style (17th ed.) Citation

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

MLA (9th ed.) Citation

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

Warning: These citations may not always be 100% accurate.