APA (7th ed.) Citation

Zhou, Z., Ye, Q., Delaware, B., & Jagannathan, S. (2024). A HAT Trick: Automatically Verifying Representation Invariants Using Symbolic Finite Automata.

Chicago Style (17th ed.) Citation

Zhou, Zhe, Qianchuan Ye, Benjamin Delaware, and Suresh Jagannathan. A HAT Trick: Automatically Verifying Representation Invariants Using Symbolic Finite Automata. 2024.

MLA (9th ed.) Citation

Zhou, Zhe, et al. A HAT Trick: Automatically Verifying Representation Invariants Using Symbolic Finite Automata. 2024.