Skip to main content

CaltechTHESIS Caltech Library Thesis Repository

Home
About
Search

Author
Year
Advisors
Committee Members
Degree/Thesis Type
Option
Research Group

Nelson, Greg

Advisor — 1 thesis

Leino, K. Rustan M. — Toward reliable modular programs (1995, Dissertation (Ph.D.))

Caltech Library · California Institute of Technology · About CaltechTHESIS

CaltechTHESIS is an open-access repository of Caltech dissertations and theses.