A Mathematical Theory of Self-Checking, Self-Testing and Self-Correcting Programs
Ronitt A. Rubinfeld
EECS Department, University of California, Berkeley
1990
Advisors: Manuel Blum
BibTeX citation:
@phdthesis{Rubinfeld:8405, Author= {Rubinfeld, Ronitt A.}, Title= {A Mathematical Theory of Self-Checking, Self-Testing and Self-Correcting Programs}, School= {EECS Department, University of California, Berkeley}, Year= {1990}, }
EndNote citation:
%0 Thesis %A Rubinfeld, Ronitt A. %T A Mathematical Theory of Self-Checking, Self-Testing and Self-Correcting Programs %I EECS Department, University of California, Berkeley %D 1990 %F Rubinfeld:8405