Project Details
| Status | Finished |
|---|---|
| Effective start/end date | 1/01/01 → 30/06/04 |
Funding
- EPSRC: £197,475.00
A proof system for correct program development
- Fourman, Michael (Principal Investigator)
- Fleuriot, Jacques (Co-investigator)
| Status | Finished |
|---|---|
| Effective start/end date | 1/01/01 → 30/06/04 |