Skip to main content
Research project

COVER: COalgebraic Foundations for Quantitative VERification

Lead researcher:
Research funder:
Leverhulme Trust
Status:
Active
Back to top