Theorem-Prover-Assisted Counterexample Generation With Constrained Enumerative Types

Bibliographische Detailangaben

Veröffentlicht in:	ProQuest Dissertations and Theses (2025)
1. Verfasser:	Walter, Andrew T.
Veröffentlicht:	ProQuest Dissertations & Theses
Schlagworte:	Computer science Computer engineering Information science
Online-Zugang:	Citation/Abstract Full Text - PDF
Tags:	Tag hinzufügen Keine Tags, Fügen Sie das erste Tag hinzu!