Enseignement

(2020-21)

• M2 - SVP: Spécification et vérification de programmes
• M1 - APS: Analyse de programmes et sémantique