Project Details
| Status | Finished |
|---|---|
| Effective start/end date | 1/04/15 → 31/03/17 |
Principled Reasoning About Liveness
- Dodds, Mike (Principal investigator)
Project: Research project (funded) › Research
Project: Research project (funded) › Research
| Status | Finished |
|---|---|
| Effective start/end date | 1/04/15 → 31/03/17 |