Artifact Details

Title

An interactive program verifier

Catalog Number

102786286

Type

Text

Date

1973-05

Author

Deutch, L. Peter

Publisher

Xerox PARC (Palo Alto Research Center)

Identifying Numbers

Document number CSL-73-1

Extent

1 volume (various pagings)

Category

Technical Report

Credit

Gift of Robert (Bob) Hagmann

Lot Number

X7029.2014