TY  - RPRT
TI  - Stochastic Formal Correctness of Numerical Algorithms
AU  - Daumas, Marc
AU  - Lester, David
AU  - Martin-Dorel, Erik
AU  - Truffert, Annick
PY  - 2009
UR  - https://ntrs.nasa.gov/citations/20100024459
ID  - 20100024459
ER  -