Verification of Pointer-Intensive Programs
Scott G. McPeak
EECS Department, University of California, Berkeley
2005
Advisors: George Necula
BibTeX citation:
@phdthesis{McPeak:8319, Author= {McPeak, Scott G.}, Title= {Verification of Pointer-Intensive Programs}, School= {EECS Department, University of California, Berkeley}, Year= {2005}, }
EndNote citation:
%0 Thesis %A McPeak, Scott G. %T Verification of Pointer-Intensive Programs %I EECS Department, University of California, Berkeley %D 2005 %F McPeak:8319