Formal proofs of numerical programs
Abstract
Poster du projet Hisséo pour le forum Digitéo.
Origin : Files produced by the author(s)