APA (7th ed.) Citation

Sun, K., Wang, D., Bao, Y., Wang, M., & Hao, D. (2026). Towards Definitional Interpreters for Hoare Logics.

Chicago Style (17th ed.) Citation

Sun, Ke, Di Wang, Yuyan Bao, Meng Wang, and Dan Hao. Towards Definitional Interpreters for Hoare Logics. 2026.

MLA (9th ed.) Citation

Sun, Ke, et al. Towards Definitional Interpreters for Hoare Logics. 2026.