2005

Revue Nationale avec comité de lecture

• [DJP05

  @article {
  	DJP05,
  	title	=	"{Coq: un outil pour l'enseignement}",
  	author	=	"D. Delahaye and M. Jaume and V. Prevosto",
  	journal	=	"TSI, Technique et Science Informatiques",
  	year	=	2005,
  	volume	=	24,
  	number	=	9,
  	pages	=	"1139-1160",
  }

  ] D. Delahaye , M. Jaume , V. Prevosto - Coq: un outil pour l'enseignement, TSI, Technique et Science Informatiques, vol. 24(9), pp. 1139-1160, 2005

2004

Conférence Nationale avec comité de lecture

• [DJP04

  @inproceedings {
  	DJP04,
  	title	=	"{L'atelier Focal}",
  	author	=	" C. Dubois and M. Jaume and O. Pons and V. Prevosto ",
  	booktitle	=	"{AFADL, session outils}",
  	year	=	2004,
  	month	=	"January",
  }

  ] C. Dubois , M. Jaume , O. Pons , V. Prevosto - L'atelier Focal, AFADL, session outils, January 2004,