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

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⟩
90 View
64 Download

Share

Gmail Mastodon Facebook X LinkedIn More