American Psychological Association 6th edition

Rahimi Foroushaani, N., & Jacobs, B. (2022). Modular Formal Verification of Rust Programs with Unsafe Blocks. Zenodo. https://doi.org/10.5281/zenodo.7472607

ISO-690 (author-date, English)

RAHIMI FOROUSHAANI, Nima und JACOBS, Bart, 2022. Modular Formal Verification of Rust Programs with Unsafe Blocks. Zenodo.

Modern Language Association 9th edition

Rahimi Foroushaani, N., und B. Jacobs. Modular Formal Verification of Rust Programs with Unsafe Blocks. Zenodo, 2022, https://doi.org/10.5281/zenodo.7472607.

Mohr Siebeck - Recht (Deutsch - Österreich)

Rahimi Foroushaani, Nima/Jacobs, Bart: Modular Formal Verification of Rust Programs with Unsafe Blocks, 2022.

Emerald - Harvard

Rahimi Foroushaani, N. und Jacobs, B. (2022), Modular Formal Verification of Rust Programs with Unsafe Blocks, Bd. , Zenodo, verfügbar unter:https://doi.org/10.5281/zenodo.7472607.

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