| |
| 2005 | ||
|---|---|---|
| 6 | EE | Virgile Prevosto: Certified mathematical hierarchies: the FoCal system. Mathematics, Algorithms, Proofs 2005 |
| 5 | EE | Virgile Prevosto, Sylvain Boulmé: Proof Contexts with Late Binding. TLCA 2005: 324-338 |
| 4 | EE | David Delahaye, Mathieu Jaume, Virgile Prevosto: Coq, un outil pour l'enseignement. Une expérience avec les étudiants du DESS Développement de logiciels srs. Technique et Science Informatiques 24(9): 1139-1160 (2005) |
| 2002 | ||
| 3 | EE | Virgile Prevosto, Damien Doligez, Thérèse Hardin: Algebraic Structures and Dependent Records. TPHOLs 2002: 298-313 |
| 2 | Virgile Prevosto, Damien Doligez: Algorithms and Proofs Inheritancey in the FOC Language. J. Autom. Reasoning 29(3-4): 337-363 (2002) | |
| 2001 | ||
| 1 | Virgile Prevosto: Prototype d'interface utilisateur de la librairie FOC. JFLA 2001: 59-74 | |
| 1 | Sylvain Boulmé | [5] |
| 2 | David Delahaye | [4] |
| 3 | Damien Doligez | [2] [3] |
| 4 | Thérèse Hardin | [3] |
| 5 | Mathieu Jaume | [4] |