- CSB - MetaPress - Google - Bing - Yahoo
 | 2003 | |
|---|---|---|
| 1 |      | R. Baker Kearfott, Markus Neher, Shin'ichi Oishi, Fabien Rico: Libraries, Tools, and Interactive Systems for Verified Computations Four Case Studies. Numerical Software with Result Verification 2003: 36-63 |
| 1 | R. Baker Kearfott | [1] |
| 2 | Markus Neher | [1] |
| 3 | Shin'ichi Oishi | [1] |