Artifact Details

Title

An interactive program verifier

Catalog Number

102660553

Type

Document

Date

1973-05

Author

Deutsch, Laurence Peter

Publisher

Xerox PARC (Palo Alto Research Center)

Category

Technical Report

Collection Title

Company Collection

Lot Number

X3067.2005