APA (7th ed.) Citation

Yang, C., Neamtu, N., Hawblitzel, C., Lorch, J. R., & Lu, S. (2025). VeruSAGE: A Study of Agent-Based Verification for Rust Systems.

Chicago Style (17th ed.) Citation

Yang, Chenyuan, Natalie Neamtu, Chris Hawblitzel, Jacob R. Lorch, and Shan Lu. VeruSAGE: A Study of Agent-Based Verification for Rust Systems. 2025.

MLA (9th ed.) Citation

Yang, Chenyuan, et al. VeruSAGE: A Study of Agent-Based Verification for Rust Systems. 2025.