Master's Theses & Technical Reports - George Necula

M.S.

Hinted Collection
Philip Reames [2013]

Type-Based Verification of Assembly Language
Bor-Yuh Evan Chang [2005]