Project Details
| Status | Finished |
|---|---|
| Effective start/end date | 1/11/21 → 31/10/24 |
Funding
- EU other: £108,978.00
Formalising Haag-Kastler Nets in Higher-order Logic
- Fleuriot, Jacques (Principal Investigator)
| Status | Finished |
|---|---|
| Effective start/end date | 1/11/21 → 31/10/24 |