Spécification, modélisation, vérification et ouvertureListe obligatoire
Crédits ECTS 12.5
Période de l'année1er semestre