campagne d'habilitation - Examen corrige
Le cours sera complété pas des TD-papiers de préparation à l'examen écrit et
des TD sur .... Nom UE : Méthodes formelles pour les systèmes complexes.
Le cours sera complété pas des TD-papiers de préparation à l'examen écrit et
des TD sur .... Nom UE : Méthodes formelles pour les systèmes complexes.