Cita APA (7a ed.)
Walter, A. T. (2025). Theorem-Prover-Assisted Counterexample Generation With Constrained Enumerative Types. ProQuest Dissertations and Theses.
Cita Chicago Style (17a ed.)
Walter, Andrew T. "Theorem-Prover-Assisted Counterexample Generation With Constrained Enumerative Types." ProQuest Dissertations and Theses 2025.
Cita MLA (9a ed.)
Walter, Andrew T. "Theorem-Prover-Assisted Counterexample Generation With Constrained Enumerative Types." ProQuest Dissertations and Theses, 2025.
Precaución: Estas citas no son 100% exactas.