Mardi 16/11/2010, à partir de 11h, en salle Euler Bleu.
Oratrice : Ioana Pasca.
Titre : Vérification formelle pour les méthodes numériques.
Résumé :
Répétition de la thèse de doctorat.
Nov 16 2010
Séminaire Marelle : Vérification formelle pour les méthodes numériques
