Jeffrey S. Foster

EECS Department, University of California, Berkeley

2002

Advisors: Alexander S. Aiken

---

BibTeX citation:

@phdthesis{Foster:8209,
    Author= {Foster, Jeffrey S.},
    Title= {Type Qualifiers: Lightweight Specifications to Improve Software Quality},
    School= {EECS Department, University of California, Berkeley},
    Year= {2002},
}

EndNote citation:

%0 Thesis
%A Foster, Jeffrey S. 
%T Type Qualifiers: Lightweight Specifications to Improve Software Quality
%I EECS Department, University of California, Berkeley
%D 2002
%F Foster:8209