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