BOULMÉ Sylvain
رئاسـة البـحث : Thérèse HARDIN
Spécification d'un environnement dédié à la programmation certifiée de bibliothèques de Calcul Formel
مناقـشـة مـذكـرة : 22/12/2000
تاريـخ المـغادرة : 05/01/2001