Style de citation APA (7e éd.)

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

Style de citation Chicago (17e éd.)

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

Style de citation MLA (9e éd.)

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

Attention : ces citations peuvent ne pas être correctes à 100%.