Skip to main content

Folder 121

 Container

Contains 1 Result:

Toward the Construction of Verifiable Software Systems, January 1976

 File — Folder: 121
Scope and Contents From the Series: In Habermann's office files these folders composed a section entitled Papers and Reports, which was maintained in reverse chronological order, by year and paper date. Habermann's intention was to keep available, by date of authorship, his scientific papers and administrative reports for professional involvements. Represented were published and unpublished papers often co-authored on operating systems design, computer languages such as Ada, ALGOL and Gandalf, and on software...
Dates: January 1976