Reports
A Formal Specification and Verified Design for Kemmerer's Library Problem ; CU-CS-562-91 Public Deposited
Downloadable Content
Download PDF
https://scholar.colorado.edu/concern/reports/wp988k72f
- Creator
- Date Issued
- 1991-12-01
- Academic Affiliation
- Last Modified
- 2019-12-21
- Resource Type
- Rights Statement
- Language
Relationships
Items
Thumbnail | Title | Date Uploaded | Visibility | Actions |
---|---|---|---|---|
aFormalSpecificationAndVerifiedDesignForKemmerersLibrary.pdf | 2019-12-21 | Public | Download |