TO
1 - 25 of 1
| Author | Title | Subject | Date | Publication Type | ||
|---|---|---|---|---|---|---|
| 1 |
 |
Zhao, Lu | A program logic and its application in fully verified software fault isolation | Software fault isolation; Trusted computing base; TCB; Hoare logic | 2012-08 | dissertation |
1 - 25 of 1