JavaScript is disabled for your browser. Some features of this site may not work without it.
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