Calcul Formel Certifié

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

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

INRIA

Therese HARDIN