Citazione Stile APA (7a Edizione)

Sun, C., Agashe, V., Chakraborty, S., Taneja, J., Barrett, C., Dill, D., . . . Lahiri, S. K. (2025). ClassInvGen: Class Invariant Synthesis using Large Language Models.

Citazione stile Chigago Style (17a edizione)

Sun, Chuyue, Viraj Agashe, Saikat Chakraborty, Jubi Taneja, Clark Barrett, David Dill, Xiaokang Qiu, e Shuvendu K. Lahiri. ClassInvGen: Class Invariant Synthesis Using Large Language Models. 2025.

Citatione MLA (9a ed.)

Sun, Chuyue, et al. ClassInvGen: Class Invariant Synthesis Using Large Language Models. 2025.