UE Preuves assistées par ordinateur
Master InformatiqueParcours Science et ingénierie du logiciel (SIL)