SJG lecture handout: “Program Correctness”, given for the Friends of 2^7 Society, 1985 - 1986
Folder: 14, Box: 10
Identifier: 1
Part of ML-101: Stephen Garland papers
Description
From the Box:
Hanging files with Garland’s notes, texts drafts, meetings, conferences, symposia, lecture notes
Dates
- 1985 - 1986
Conditions Governing Access
From the Box:
Unrestricted
Language of Materials
From the Collection: English
Part of the Rauner Library Archives and Manuscripts Repository