Formal proofs of numerical programs

Nguyen Thi Minh Tuyen 1, 2, * Sylvie Boldo 1, 2 Claude Marché 1, 2
* Auteur correspondant
1 PROVAL - Proof of Programs
UP11 - Université Paris-Sud - Paris 11, Inria Saclay - Ile de France, CNRS - Centre National de la Recherche Scientifique : UMR
Résumé : Poster du projet Hisséo pour le forum Digitéo.
Type de document :
Poster
Forum Digitéo, Oct 2010, Palaiseau, France
Liste complète des métadonnées

https://hal.inria.fr/inria-00536135
Contributeur : Sylvie Boldo <>
Soumis le : lundi 15 novembre 2010 - 14:29:19
Dernière modification le : jeudi 5 avril 2018 - 12:30:08
Document(s) archivé(s) le : vendredi 26 octobre 2012 - 15:40:48

Fichier

posterDIGITEO.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : inria-00536135, version 1

Collections

Citation

Nguyen Thi Minh Tuyen, Sylvie Boldo, Claude Marché. Formal proofs of numerical programs. Forum Digitéo, Oct 2010, Palaiseau, France. 〈inria-00536135〉

Partager

Métriques

Consultations de la notice

189

Téléchargements de fichiers

78