Floats - Paris-Saclay - Document - PDFSEARCH.IO

First Page		Document Content
Date: 2014-03-11 10:57:24		Floats & Ropes: a case study for formal numerical program verication? Sylvie Boldo INRIA Saclay - Île-de-France, ProVal, Orsay, FLRI, Univ Paris-Sud, CNRS, Orsay, F-91405 Add to Reading List Source URL: fost.saclay.inria.fr Download Document from Source Website File Size: 256,56 KB Share Document on Facebook