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.
Attenzione: Queste citazioni potrebbero non essere precise al 100%.