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.