Skip to content. Skip to navigation

Software Preservation Group

Sections

Personal tools

Log in

You are here: Home → Projects → Program Verification → PIVOT → L. Peter Deutsch. An Interactive Program Verifier. May 1973.

Log in: Login Name

Password

Cookies are not enabled. You must enable cookies before you can log in.; Forgot your password?

Document Actions

L. Peter Deutsch. An Interactive Program Verifier. May 1973.

by Paul McJones — last modified 2015-04-17 17:38

L. Peter Deutsch. An Interactive Program Verifier. Xerox Palo Alto Research Center CSL-73-1, May 1973 (reprinted July 1976).

Click here to get the file

Size 7.5 MB - File type application/pdf

Powered by Plone CMS, the Open Source Content Management System

This site conforms to the following standards: