John P. Kodumal

EECS Department, University of California, Berkeley

2006

Advisors: Alexander S. Aiken and George Necula

---

BibTeX citation:

@phdthesis{Kodumal:8283,
    Author= {Kodumal, John P.},
    Title= {Program Analysis with Regularly Annotated Constraints},
    School= {EECS Department, University of California, Berkeley},
    Year= {2006},
}

EndNote citation:

%0 Thesis
%A Kodumal, John P. 
%T Program Analysis with Regularly Annotated Constraints
%I EECS Department, University of California, Berkeley
%D 2006
%F Kodumal:8283