APA (7th ed.) Citation

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

Chicago Style (17th ed.) Citation

Lattuada, Andrea, Travis Hance, Chanhee Cho, Matthias Brun, Isitha Subasinghe, Yi Zhou, Jon Howell, Bryan Parno, and 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.

MLA (9th ed.) Citation

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.