COVER: COalgebraic Foundations for Quantitative VERification

Project: Research

Project Details

StatusActive
Effective start/end date1/11/2031/10/23

Funding

  • Leverhulme Trust: £203,851.00