Reports

 

The Static Detection of Synchronization Anomalies in HAL/S Programs ; CU-CS-165-79 Public Deposited

Analytics

Downloadable Content

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

Relationships

Items

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