MPRI -- Algorithmic Verification of Programs

Instructors:
Constantin Enea
cenea AT irif DOT fr

Gustavo Petri
gpetri@irif.fr