Sylvie Boldo. Floats & Ropes: a case study for formal numerical program verification.
Lecture Notes in Computer Science, Springer, 2009, 36th International Colloquium on Automata, Languages and Programming, 5556, pp.91--102.
⟨10.1007/978-3-642-02930-1_8⟩.
⟨inria-00432718⟩