Cita APA (7a ed.)

Chen, Z., Cao, J., Wu, J., Xu, C., & Cheung, S. (2026). Can Large Language Models Model Programs Formally?

Cita Chicago Style (17a ed.)

Chen, Zhiyong, Jialun Cao, Jiarong Wu, Chang Xu, y Shing-Chi Cheung. Can Large Language Models Model Programs Formally? 2026.

Cita MLA (9a ed.)

Chen, Zhiyong, et al. Can Large Language Models Model Programs Formally? 2026.