Projects

Here are the projects in which the MOCQUA team is involved:

MOCQUA is a member of the associate team TC(Pro)³ : Termination and Complexity Properties of Probabilistic Programs.