BibTeX record journals/tsi/DelahayeJP05

download as .bib file

@article{DBLP:journals/tsi/DelahayeJP05,
  author    = {David Delahaye and
               Mathieu Jaume and
               Virgile Prevosto},
  title     = {Coq, un outil pour l'enseignement. Une exp{\'{e}}rience avec
               les {\'{e}}tudiants du {DESS} D{\'{e}}veloppement de logiciels
               srs},
  journal   = {Technique et Science Informatiques},
  volume    = {24},
  number    = {9},
  pages     = {1139--1160},
  year      = {2005},
  url       = {https://doi.org/10.3166/tsi.24.1139-1160},
  doi       = {10.3166/tsi.24.1139-1160},
  timestamp = {Sat, 20 May 2017 00:23:35 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/tsi/DelahayeJP05},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics