Master's Theses & Technical Reports - George Necula
M.S.
Type-Based Verification of Assembly Language
Bor-Yuh Evan Chang [2005]
Electrical Engineering and Computer Sciences |
||
COLLEGE OF ENGINEERING |
UC Berkeley |
|
|
||||
|
|
||||
|
Information for: Support Services:
Administrative |
||||
|
|