Ranjit Jhala

EECS Department, University of California, Berkeley

2004

Advisors: Thomas A. Henzinger

---

BibTeX citation:

@phdthesis{Jhala:8474,
    Author= {Jhala, Ranjit},
    Title= {Program Verification by Lazy Abstraction},
    School= {EECS Department, University of California, Berkeley},
    Year= {2004},
}

EndNote citation:

%0 Thesis
%A Jhala, Ranjit 
%T Program Verification by Lazy Abstraction
%I EECS Department, University of California, Berkeley
%D 2004
%F Jhala:8474