L. Peter Deutsch

EECS Department, University of California, Berkeley

1973

Advisors: Richard Karp

---

BibTeX citation:

@phdthesis{Deutsch:7359,
    Author= {Deutsch, L. Peter},
    Title= {An Interactive Program-Verifier},
    School= {EECS Department, University of California, Berkeley},
    Year= {1973},
}

EndNote citation:

%0 Thesis
%A Deutsch, L. Peter 
%T An Interactive Program-Verifier
%I EECS Department, University of California, Berkeley
%D 1973
%F Deutsch:7359