Formal proofs of numerical programs
Abstract
Poster du projet Hisséo pour le forum Digitéo.
Origin | Files produced by the author(s) |
---|
INRIA.HAL.SCIENCE Web Portal Publications, softwares... of Inria fellow Academics |
Origin | Files produced by the author(s) |
---|
Sylvie Boldo : Connect in order to contact the contributor
https://inria.hal.science/inria-00536135
Submitted on : Monday, November 15, 2010-2:29:19 PM
Last modification on : Monday, February 5, 2024-2:18:05 PM
Long-term archiving on: Friday, October 26, 2012-3:40:48 PM