Trust In Proof Assistants : Opportunities And Limitations

Thumbnail
View/Open
No Access Until
2021-08-23
PERMANENT LINK(S)
https://doi.org/10.7298/X4BC3WGB
https://hdl.handle.net/1813/45093
Collections
Metadata
Show full item record
Author
Anand, Abhishek
Date Issued
2016-08-22
Subject
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

Statistics