Calcul Formel Certifié
Contact : Therese.Hardin (at) nulllip6.frDu 01/01/1998 au 31/12/1999
Développement d’outils de Certification pour le Calcul Formel.
INRIATherese HARDIN
Développement d’outils de Certification pour le Calcul Formel.
INRIATherese HARDIN