Citazione Stile APA (7a Edizione)

Wang, H., Zuo, X., Sun, Y., Li, Q., Ameur, Y. A., & Dong, J. S. (2026). Event-B Agent: Towards LLM Agent for Formal Model Synthesis and Repair.

Citazione stile Chigago Style (17a edizione)

Wang, Hongshu, Xinyue Zuo, Yuhan Sun, Qin Li, Yamine Ait Ameur, e Jin Song Dong. Event-B Agent: Towards LLM Agent for Formal Model Synthesis and Repair. 2026.

Citatione MLA (9a ed.)

Wang, Hongshu, et al. Event-B Agent: Towards LLM Agent for Formal Model Synthesis and Repair. 2026.