2005-other.bib

@comment{{This file has been generated by bib2bib 1.98}}

@comment{{Command line: /usr/bin/bib2bib -q -oc 2005-other.cite -ob 2005-other.bib -c 'year = 2005 and topics : "team" and $type<>"article" and $type<>"inproceedings" and $type<>"book" and $type<>"inbook" and $type<>"incollection" and $type<>"phdthesis" and $type<>"techreport" and $type<>"manual" and $type<>"mastersthesis"' ../../biblio/abbrevs.bib ../../biblio/demons.bib ../../biblio/demons2.bib ../../biblio/demons3.bib ../../biblio/team.bib ../../biblio/crossrefs.bib}}

@misc{coccinelle,
  author = {\'Evelyne Contejean},
  title = {{Coccinelle}},
  year = 2005,
  url = {{http://www.lri.fr/~contejea/Coccinelle/coccinelle.html}},
  note = {\url{http://www.lri.fr/~contejea/Coccinelle/coccinelle.html}},
  topics = {team,lri},
  type_publi = {autre},
  x-equipes = {demons PROVAL},
  x-type = {manuel},
  x-support = {diffusion}
}

@proceedings{types04,
  editor = {Jean-Christophe Filli\^atre and Christine Paulin-Mohring and Benjamin Werner},
  title = {Types for Proofs and Programs, International Workshop, TYPES
               2004, Jouy-en-Josas, France, December 15-18,2004, Selected Papers},
  booktitle = {TYPES 2004},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  volume = {3839},
  year = {2005},
  topics = {team,lri},
  isbn = {3-540-31428-8},
  x-equipes = {demons PROVAL EXT},
  x-type = {edition},
  x-support = {actes}
}