Citazione Stile APA (7a Edizione)

Tu, H., Zhao, H., Song, Y., Zafar, M., Meng, R., & Roychoudhury, A. (2025). Agentic Verification of Software Systems.

Citazione stile Chigago Style (17a edizione)

Tu, Haoxin, Huan Zhao, Yahui Song, Mehtab Zafar, Ruijie Meng, e Abhik Roychoudhury. Agentic Verification of Software Systems. 2025.

Citatione MLA (9a ed.)

Tu, Haoxin, et al. Agentic Verification of Software Systems. 2025.