Citace podle APA (7th ed.)

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

Citace podle Chicago (17th ed.)

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.

Citace podle MLA (9th ed.)

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.

Upozornění: Tyto citace jsou generovány automaticky. Nemusí být zcela správně podle citačních pravidel..