Reports

 

PK/C++: an Object-Oriented, Logic-Based, Executable Specification Language ; CU-CS-400-88 Public Deposited

Analytics
Default
Citations
https://scholar.colorado.edu/concern/reports/kd17ct75d
Creator
Date Issued
  • 1988-07-07
Academic Affiliation
Last Modified
  • 2019-12-21
Resource Type
Rights Statement
Language

Relationships

Items

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