Citazione Stile APA (7a Edizione)

Gross, J., Zimmermann, T., Agrawal, R., & Chlipala, A. (2022). Automatic Test-Case Reduction in Proof Assistants: A Case Study in Coq.

Citazione stile Chigago Style (17a edizione)

Gross, Jason, Théo Zimmermann, Rajashree Agrawal, e Adam Chlipala. Automatic Test-Case Reduction in Proof Assistants: A Case Study in Coq. 2022.

Citatione MLA (9a ed.)

Gross, Jason, et al. Automatic Test-Case Reduction in Proof Assistants: A Case Study in Coq. 2022.