BOULMÉ Sylvain
Direction de recherche : Thérèse HARDIN
Spécification d'un environnement dédié à la programmation certifiée de bibliothèques de Calcul Formel
Soutenance : 22/12/2000
Date de départ : 05/01/2001Direction de recherche : Thérèse HARDIN
Soutenance : 22/12/2000
Date de départ : 05/01/2001