Calcul Formel Certifié

ContactTherese.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