BibTeX record conf/padl/PaganoACCCMW08

download as .bib file

@inproceedings{DBLP:conf/padl/PaganoACCCMW08,
  author    = {Bruno Pagano and
               Olivier Andrieu and
               Benjamin Canou and
               Emmanuel Chailloux and
               Jean{-}Louis Cola{\c{c}}o and
               Thomas Moniot and
               Philippe Wang},
  title     = {Certified Development Tools Implementation in Objective Caml},
  booktitle = {{PADL}},
  series    = {Lecture Notes in Computer Science},
  volume    = {4902},
  pages     = {2--17},
  publisher = {Springer},
  year      = {2008}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics