Citazione Stile APA (7a Edizione)

Sun, C., Sheng, Y., Padon, O., & Barrett, C. (2023). Clover: Closed-Loop Verifiable Code Generation.

Citazione stile Chigago Style (17a edizione)

Sun, Chuyue, Ying Sheng, Oded Padon, e Clark Barrett. Clover: Closed-Loop Verifiable Code Generation. 2023.

Citatione MLA (9a ed.)

Sun, Chuyue, et al. Clover: Closed-Loop Verifiable Code Generation. 2023.