Publications

Formal analysis of scientific-computation methods

• • Gadiel Auerbach
  • Orna Kupferman
• 2003
• ADHS 2003