Trust In Proof Assistants : Opportunities And Limitations
File(s)
Permanent Link(s)
Collections
Author
Anand, Abhishek
Date Issued
2016-08-22
Keywords
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