Projets

Voici les projets dans lesquels l’équipe MOCQUA est impliquée:

MOCQUA fait partie de l’équipe associée TC(Pro)³ : Termination and Complexity Properties of Probabilistic Programs.