Publications

Solving constraints on the invisible bits of the intermediate result for floating-point verification

• • Merav Aharoni
  • Sigal Asaf
  • et al.
• 2005
• ARITH 2005