Projects

Ongoing projects
Acronym Project Start Date
EUTypes The European Research Network on Types for Programming and Verification 24/03/2016