Formal proofs of numerical programs
Résumé
Poster du projet Hisséo pour le forum Digitéo.
Origine | Fichiers produits par l'(les) auteur(s) |
---|
Portail INRIA.HAL.SCIENCE Les publications, logiciels... des scientifiques Inria |
Origine | Fichiers produits par l'(les) auteur(s) |
---|
Sylvie Boldo : Connectez-vous pour contacter le contributeur
https://inria.hal.science/inria-00536135
Soumis le : lundi 15 novembre 2010-14:29:19
Dernière modification le : lundi 5 février 2024-14:18:05
Archivage à long terme le : vendredi 26 octobre 2012-15:40:48