Wen-Tsuen Chen

EECS Department, University of California, Berkeley

1976

Advisors: C. V. Ramamoorthy

---

BibTeX citation:

@phdthesis{Chen:7435,
    Author= {Chen, Wen-Tsuen},
    Title= {Toward Automated Validation of Computer Programs},
    School= {EECS Department, University of California, Berkeley},
    Year= {1976},
}

EndNote citation:

%0 Thesis
%A Chen, Wen-Tsuen 
%T Toward Automated Validation of Computer Programs
%I EECS Department, University of California, Berkeley
%D 1976
%F Chen:7435