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