Liens transverses ENS de Lyon

INFO5176 : Program verification with coinduction and proof assistants

Program verification with coinduction and proof assistants

Responsable

Aurelien Garivier

Niveau
M2
Discipline
Informatique
ECTS
5.00
Période
1e semestre
Localisation
Site Monod
Année
2021

Public externe (ouverts aux auditeurs de cours)