Theorem-Prover-Assisted Counterexample Generation With Constrained Enumerative Types

Dades bibliogràfiques

Publicat a:	ProQuest Dissertations and Theses (2025)
Autor principal:	Walter, Andrew T.
Publicat:	ProQuest Dissertations & Theses
Matèries:	Computer science Computer engineering Information science
Accés en línia:	Citation/Abstract Full Text - PDF
Etiquetes:	Afegir etiqueta Sense etiquetes, Sigues el primer a etiquetar aquest registre!