aFormalSpecificationAndVerifiedDesignForKemmerersLibrary.pdf Public
File Details
- Depositor
- Admin
- Date Uploaded
- 2019-12-21
- Date Modified
- 2019-12-21
- Fixity Check
- Fixity checks have not yet been run on this object
- Characterization
-
File Format: pdf (Portable Document Format)Page Count: 17Original Checksum: b501142b62c4a0e04c94c2be3fb52439Mime Type: application/pdf
| User Activity | Date |
|---|---|
| User Admin has attached aFormalSpecificationAndVerifiedDesignForKemmerersLibrary.pdf to A Formal Specification and Verified Design for Kemmerer's Library Problem ; CU-CS-562-91 |
|