PIVOT source code listing
This folder contains source code listings of PIVOT, a program verification system written in BBN-LISP by L. Peter Deutsch as a part of his Ph.D. thesis research at U.C. Berkeley in 1973. The contents were originally filed in a binder.
Item Details
- Date
- ca. 1975 (Made)
- Type
- Document
- Catalogue number
- 102774958
- People
- L. Peter Deutsch (Author)
- Credit line
- Gift of Peter Deutsch
- Extent
- 1 volume (various pagings)
- Language
- English
- Acquisition number
- X7485.2015