Citazione Stile APA (7a Edizione)

Su, Y., Bu, T., Yang, Q., Ci, Y., & Tian, E. (2026). CIll: CTI-Guided Invariant Generation via LLMs for Model Checking.

Citazione stile Chigago Style (17a edizione)

Su, Yuheng, Tianjun Bu, Qiusong Yang, Yiwei Ci, e Enyuan Tian. CIll: CTI-Guided Invariant Generation via LLMs for Model Checking. 2026.

Citatione MLA (9a ed.)

Su, Yuheng, et al. CIll: CTI-Guided Invariant Generation via LLMs for Model Checking. 2026.