Sciweavers

9659 search results - page 200 / 1932
» Points on Computable Curves
Sort
View
ARITH
2007
IEEE
16 years 1 months ago
Formal Verification of Floating-Point Programs
Sylvie Boldo, Jean-Christophe Filliâtre