Sumit Gulwani

EECS Department, University of California, Berkeley

2005

Advisors: George Necula


BibTeX citation:

@phdthesis{Gulwani:8482,
    Author= {Gulwani, Sumit},
    Title= {Program Analysis Using Random Interpretation},
    School= {EECS Department, University of California, Berkeley},
    Year= {2005},
}

EndNote citation:

%0 Thesis
%A Gulwani, Sumit 
%T Program Analysis Using Random Interpretation
%I EECS Department, University of California, Berkeley
%D 2005
%F Gulwani:8482