APA (7th ed.) Citation

Cao, Y., Zhuang, J., Chen, H., Fan, J., Xu, W., Wang, Z., . . . Hu, Z. (2025). C*: Unifying Programming and Verification in C.

Chicago Style (17th ed.) Citation

Cao, Yiyuan, et al. C*: Unifying Programming and Verification in C. 2025.

MLA (9th ed.) Citation

Cao, Yiyuan, et al. C*: Unifying Programming and Verification in C. 2025.

Warning: These citations may not always be 100% accurate.