JavaScript is disabled for your browser. Some features of this site may not work without it.
Use of eCommons for rapid dissemination of COVID-19 research
In order to maximize the discoverability of COVID-19 research, and to conform with repository best practices and the requirements of publishers and research funders, we provide special guidance for COVID-19 submissions.
Trust In Proof Assistants : Opportunities And Limitations
Date Issued
2016-08-22Subject
proof assistants; logic; formal verification
Committee Chair
Constable,Robert Lee
Committee Member
Tate,Ross Everett; Nerode,Anil; Knepper,Ross A
Degree Discipline
Computer Science
Degree Name
Ph. D., Computer Science
Degree Level
Doctor of Philosophy
Type
dissertation or thesis