Project Details
Short title | Semantic Foundations for Interactive Programs |
---|---|
Status | Finished |
Effective start/end date | 1/06/16 → 31/08/17 |
Funding
- Engineering & Physical Science Research Council
Short title | Semantic Foundations for Interactive Programs |
---|---|
Status | Finished |
Effective start/end date | 1/06/16 → 31/08/17 |