Personal tools
You are here: Home Projects Program Verification PIVOT L. Peter Deutsch. An Interactive Program Verifier. May 1973.
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
« April 2017 »
Su Mo Tu We Th Fr Sa
1
2 3 4 5 6 7 8
9 10 11 12 13 14 15
16 17 18 19 20 21 22
23 24 25 26 27 28 29
30
 

Powered by Plone CMS, the Open Source Content Management System

This site conforms to the following standards: