APA-Zitierstil (7. Ausg.)

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

Chicago-Zitierstil (17. Ausg.)

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

MLA-Zitierstil (9. Ausg.)

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

Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.