10th GAMM-IMACS International Symposium on Scientific Computing, Computer Arithmetic, and Validated Numerics SCAN'2002. - René Alt; Jean Vignes (Reliab. Comput., 2003)

Discrete Stochastic Arithmetic for Validating Results of Numerical Software. - Jean Vignes (Numer. Algorithms, 2004)