Theses & Dissertations
 
Filters: Subject: "Hoare logic" Department: "Computing" Type: "Text" Collection: ir_etd
1 - 25 of 1
Number of results to display per page
AuthorTitleSubjectDatePublication Type
1 Zhao, LuA program logic and its application in fully verified software fault isolationSoftware fault isolation; Trusted computing base; TCB; Hoare logic2012-08dissertation
1 - 25 of 1