Reports

 

Reusing Proofs of Program Correctness in ENCOMPASS ; CU-CS-437-89 Public Deposited

Analytics

Downloadable Content

Download PDF
Citations
https://scholar.colorado.edu/concern/reports/kw52j898z
Creator
Date Issued
  • 1989-05-01
Academic Affiliation
Last Modified
  • 2019-12-21
Resource Type
Rights Statement
Language

Relationships

Items

Thumbnail Title Date Uploaded Visibility Actions
Jq085k78c?file=thumbnail reusingProofsOfProgramCorrectnessInEncompassCuCs43789.pdf 2019-12-21 Public Download