| 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 |
