Reports

 

An Example of Process Verification: the Gries/Dijkstra Design Method ; CU-CS-646-93 Public Deposited

Analytics
Default
Citations
https://scholar.colorado.edu/concern/reports/3197xm84g
Creator
Date Issued
  • 1993-03-01
Academic Affiliation
Last Modified
  • 2019-12-22
Resource Type
Rights Statement
Language

Relationships

Items

Thumbnail Title Date Uploaded Visibility Actions
Pr76f4188?file=thumbnail anExampleOfProcessVerificationTheGriesDijkstraDesignMet.pdf 2019-12-22 Public Download