Sriram K. Rajamani

EECS Department, University of California, Berkeley

1999

Advisors: Thomas A. Henzinger

---

BibTeX citation:

@phdthesis{Rajamani:8082,
    Author= {Rajamani, Sriram K.},
    Title= {New Directions in Refinement Checking},
    School= {EECS Department, University of California, Berkeley},
    Year= {1999},
}

EndNote citation:

%0 Thesis
%A Rajamani, Sriram K. 
%T New Directions in Refinement Checking
%I EECS Department, University of California, Berkeley
%D 1999
%F Rajamani:8082