Calcul Formel Certifié

Contact : Therese.Hardin (at) nulllip6.fr
Du 01/01/1998 au 31/12/1999

Développement d’outils de Certification pour le Calcul Formel.

INRIA

Therese HARDIN