Modélisation Sécuritaire : Initiation aux Méthodes Formelles

Ects : 2
Volume horaire : 21