| |
| 2005 | ||
|---|---|---|
| 3 | EE | Valérie Ménissier-Morain: Arbitrary precision real arithmetic: design and algorithms. J. Log. Algebr. Program. 64(1): 13-39 (2005) |
| 1999 | ||
| 2 | EE | Sylvain Boulmé, Thérèse Hardin, Daniel Hirschkoff, Valérie Ménissier-Morain, Renaud Rioboo: On the way to certify Computer Algebra Systems. Electr. Notes Theor. Comput. Sci. 23(3): (1999) |
| 1 | Catherine Dubois, Valérie Ménissier-Morain: Certification of a Type Inference Tool for ML: Damas-Milner within Coq. J. Autom. Reasoning 23(3-4): 319-346 (1999) | |
| 1 | Sylvain Boulmé | [2] |
| 2 | Catherine Dubois | [1] |
| 3 | Thérèse Hardin | [2] |
| 4 | Daniel Hirschkoff | [2] |
| 5 | Renaud Rioboo | [2] |