Numerical stability analysis of floating-point computations using software model checking Conference Proceeding uri icon

Overview

publication date

  • July 26, 2010

Full Author List

  • Ivancic F; Ganai MK; Sankaranarayanan S; Gupta A

Other Profiles

International Standard Book Number (ISBN) 13

  • 9781424478859