Reference
2005
Type-Based Verification of Assembly Language
M.S. Thesis
Also available as
Technical Report
(UCB/EECS-2008-186)