Numerical stability analysis of floating-point computations using software model checking
Conference Proceeding
Overview
publication date
- July 26, 2010
has restriction
- closed
Date in CU Experts
- January 29, 2016 1:53 AM
Full Author List
- Ivancic F; Ganai MK; Sankaranarayanan S; Gupta A
author count
- 4