- Collection Overview
- Collection Description & Creator Information
- Access & Use
- Collection History
- Find Related Materials
On Formal Verification Of Parallel Programs, June 1975, 1975 June
Collection Description & Creator Information
Consists of technical reports from the Computer Sciences Laboratory.
Access & Use
- Access Restrictions:
Collection is open for research use.
- Conditions for Reproduction and Use:
Single photocopies may be made for research purposes. For quotations that are fair use as defined under U. S. Copyright Law, no permission to cite or publish is required.
- Credit this material:
On Formal Verification Of Parallel Programs, June 1975; Computer Sciences Laboratory Technical Reports, 1967-1985, ENG027, Technical and Scientific Reports, Engineering Library, Princeton University Library
- Engineering LibraryEngineering LibraryFriend Center for Engineering EducationPrinceton, NJ 08540, USA(609) firstname.lastname@example.org