C6: Correct-by-Construction Heterogeneous Coherence

  • Nagarajan, Vijay (Principal Investigator)
  • Grosser, Tobias (Co-investigator)

Project Details

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

Funding

  • EPSRC: £618,373.00

Fingerprint

Explore the research topics touched on by this project. These labels are generated based on the underlying awards/grants. Together they form a unique fingerprint.