Formal proofs of numerical programs - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Poster Année : 2010

Formal proofs of numerical programs

Résumé

Poster du projet Hisséo pour le forum Digitéo.
Fichier principal
Vignette du fichier
posterDIGITEO.pdf (540.08 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Dates et versions

inria-00536135 , version 1 (15-11-2010)

Identifiants

  • HAL Id : inria-00536135 , version 1

Citer

Nguyen Thi Minh Tuyen, Sylvie Boldo, Claude Marché. Formal proofs of numerical programs. Forum Digitéo, Oct 2010, Palaiseau, France. ⟨inria-00536135⟩
90 Consultations
64 Téléchargements

Partager

Gmail Mastodon Facebook X LinkedIn More