Guillaume Melquiond · 2 obras en el catálogoObrasHandbook of Floating-Point ArithmeticComputer Arithmetic and Formal Proofs