Theorem-Prover-Assisted Counterexample Generation With Constrained Enumerative Types

Bibliografiska uppgifter

I publikationen:	ProQuest Dissertations and Theses (2025)
Huvudupphov:	Walter, Andrew T.
Utgiven:	ProQuest Dissertations & Theses
Ämnen:	Computer science Computer engineering Information science
Länkar:	Citation/Abstract Full Text - PDF
Taggar:	Lägg till en tagg Inga taggar, Lägg till första taggen!