Show simple item record

dc.contributor.authorAnand, Abhishek
dc.date.accessioned2016-12-12T14:38:41Z
dc.date.issued2016-08-22
dc.identifier.otherbibid: 9870303
dc.identifier.urihttps://hdl.handle.net/1813/45093
dc.language.isoen_US
dc.subjectproof assistants
dc.subjectlogic
dc.subjectformal verification
dc.titleTrust In Proof Assistants : Opportunities And Limitations
dc.typedissertation or thesis
dc.description.embargo2021-08-23
thesis.degree.disciplineComputer Science
thesis.degree.grantorCornell University
thesis.degree.levelDoctor of Philosophy
thesis.degree.namePh. D., Computer Science
dc.contributor.chairConstable,Robert Lee
dc.contributor.committeeMemberTate,Ross Everett
dc.contributor.committeeMemberNerode,Anil
dc.contributor.committeeMemberKnepper,Ross A
dc.identifier.doihttps://doi.org/10.7298/X4BC3WGB


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record

Statistics