Rao, Z. (2024, October 27). Semi-Automated Verification of Interior Unsafe Code Encapsulation in Real-World Rust Systems. IEEE/ACM International Conference on Automated Software Engineering : [proceedings], 2435-2437. https://doi.org/10.1145/3691620.3695373
Chicago-Zitierstil (17. Ausg.)Rao, Zihao. "Semi-Automated Verification of Interior Unsafe Code Encapsulation in Real-World Rust Systems." IEEE/ACM International Conference on Automated Software Engineering : [proceedings] 27 Oct. 2024: 2435-2437. https://doi.org/10.1145/3691620.3695373.
MLA-Zitierstil (9. Ausg.)Rao, Zihao. "Semi-Automated Verification of Interior Unsafe Code Encapsulation in Real-World Rust Systems." IEEE/ACM International Conference on Automated Software Engineering : [proceedings], 27 Oct. 2024, pp. 2435-2437, https://doi.org/10.1145/3691620.3695373.