Project Details
| Status | Finished |
|---|---|
| Effective start/end date | 1/05/06 → 30/09/06 |
Funding
- EPSRC: £27,113.00
Automated reasoning in large structured theories
- McCasland, Roy (Principal Investigator)
| Status | Finished |
|---|---|
| Effective start/end date | 1/05/06 → 30/09/06 |