Liens transverses ENS de Lyon

INFO5176 : Program verification with coinduction and proof assistants

Program verification with coinduction and proof assistants

Niveau M2

Discipline(s) Informatique

ECTS 5.00

Période 1e semestre

Localisation Site Monod

Année 2021-2022

 Public externe (ouverts aux auditeurs de cours)