GradNova
Proof Assistants
1 faculty research Proof Assistants on GradNova.
Professeur agrégé
Computer Science
Université de Montréal