TY  - RPRT
TI  - Stochastic Formal Methods: An application to accuracy of numeric software
AU  - Marc Daumas
AU  - David Lester
PY  - 2006
UR  - https://arxiv.org/abs/cs/0606101
ID  - cs/0606101
ER  -