Sciweavers

10848 search results - page 112 / 2170
» Programming in Biomolecular Computation
Sort
View
ARITH
2007
IEEE
15 years 4 months ago
Formal Verification of Floating-Point Programs
Sylvie Boldo, Jean-Christophe Filliâtre