|
 
|
Virgile Prevosto
Publications
2005
- [DJP05] D. Delahaye, M. Jaume, V. Prevosto. "Coq: un outil pour l'enseignement", TSI, Technique et Science Informatiques, vol. 24(9), pp. 1139-1160, 2005
Revue Nationale avec comité de lecture
2004
- [DJP04] C. Dubois, M. Jaume, O. Pons, V. Prevosto. "L'atelier Focal", AFADL, session outils, January 2004,
