Project Details
Description
Investigation of techniques for formal specification and verification of concurrent objects.
| Status | Active |
|---|---|
| Effective start/end date | 01/09/1993 → … |
Fingerprint
Explore the research topics touched on by this project. These labels are generated based on the underlying awards/grants. Together they form a unique fingerprint.