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