C6: Correct-by-Construction Heterogeneous Coherence

Project Details

StatusActive
Effective start/end date15/11/2114/11/24

Funding

  • EPSRC: £618,373.00