"Models for Verifiers" by Francine Berman

Skip to main content

Department of Computer Science Technical Reports

Title

Models for Verifiers

Authors

Francine Berman

Date of this Version

1980

Tech Report Number

80-343

Number of Pages

45

Included in

Computer Sciences Commons

COinS