Project Details
| Status | Finished |
|---|---|
| Effective start/end date | 7/1/00 → 4/30/01 |
CAREER: Tractable Formal Methods for the Synthesis of Concurrent Programs
- Attie, Paul C (PI)
Project: Research project
Project: Research project
| Status | Finished |
|---|---|
| Effective start/end date | 7/1/00 → 4/30/01 |