| |
| 2003 | ||
|---|---|---|
| 1 | EE | 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] |