Lattuada, A., Hance, T., Cho, C., Brun, M., Subasinghe, I., Zhou, Y., . . . Hawblitzel, C. (2023). Verus: Verifying Rust Programs using Linear Ghost Types. Proceedings of ACM on programming languages, 7(OOPSLA1), 286-315. https://doi.org/10.1145/3586037
Citácia podle Chicago (17th ed.)Lattuada, Andrea, Travis Hance, Chanhee Cho, Matthias Brun, Isitha Subasinghe, Yi Zhou, Jon Howell, Bryan Parno, a Chris Hawblitzel. "Verus: Verifying Rust Programs Using Linear Ghost Types." Proceedings of ACM on Programming Languages 7, no. OOPSLA1 (2023): 286-315. https://doi.org/10.1145/3586037.
Citácia podľa MLA (8th ed.)Lattuada, Andrea, et al. "Verus: Verifying Rust Programs Using Linear Ghost Types." Proceedings of ACM on Programming Languages, vol. 7, no. OOPSLA1, 2023, pp. 286-315, https://doi.org/10.1145/3586037.