Formal proofs of numerical programs - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Poster Communications Year :

Formal proofs of numerical programs

Abstract

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
Origin : Files produced by the author(s)

Dates and versions

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

Identifiers

  • HAL Id : inria-00536135 , version 1

Cite

Nguyen Thi Minh Tuyen, Sylvie Boldo, Claude Marché. Formal proofs of numerical programs. Forum Digitéo, Oct 2010, Palaiseau, France. ⟨inria-00536135⟩
88 View
60 Download

Share

Gmail Facebook Twitter LinkedIn More