@ARTICLE{DelahayeTSI05,
  author = {David Delahaye and Mathieu Jaume and Virgile Prevosto},
  title = {Coq: un outil pour l'enseignement. Une exp\'erience avec les 
           \'etudiants du DESS d\'eveloppement des logiciels s\^urs,
  journal = {TSI},
  year = {2005},
  volume = {24},
  pages = {1139 -- 1160},
  number = {5}
}