Tech Report Number
80-343
Date of this Version
1-1-1980
Recommended Citation
Berman, Francine, "Models for Verifiers" (1980). Department of Computer Science Technical Reports. Paper 273.
https://docs.lib.purdue.edu/cstech/273
Number of Pages
45
Skip to main content
COinS