Artifact Details

Title

An interactive program verifier

Catalog Number

102774957

Type

Text

Date

1973-05; 1976-07

Author

Deutsch, L. Peter

Publisher

Xerox

Identifying Numbers

Publication number CSL-73-1

Extent

1 volume (various pagings)

Description

Reprinted July 1976

Category

Dissertations

Credit

Gift of Peter Deutsch

Lot Number

X7485.2015