2008-other.bib

@comment{{This file has been generated by bib2bib 1.97pl2}}
@comment{{Command line: bib2bib -oc 2008-other.cite -ob 2008-other.bib -c 'year = 2008 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"' /users/demons/filliatr/bibliodemons/abbrevs.bib /users/demons/filliatr/bibliodemons/demons.bib /users/demons/filliatr/bibliodemons/demons2.bib /users/demons/filliatr/bibliodemons/demons3.bib /users/demons/filliatr/bibliodemons/team.bib /users/demons/filliatr/bibliodemons/crossrefs.bib}}
@misc{alt-ergo,
  author = {Fran\c{c}ois Bobot and Sylvain Conchon and \'Evelyne Contejean and Mohamed Iguernelala and St\'ephane Lescuyer and Alain Mebsout},
  title = {The {Alt-Ergo} Automated Theorem Prover},
  note = {\url{http://alt-ergo.lri.fr/}},
  topics = {team,lri},
  year = 2008,
  x-equipes = {demons PROVAL}
}
@misc{ergo,
  author = {Sylvain Conchon and \'Evelyne Contejean},
  title = {The {Alt-Ergo} automatic Theorem Prover},
  url = {http://alt-ergo.lri.fr/},
  howpublished = {\url{http://alt-ergo.lri.fr/}},
  note = {APP deposit under the number IDDN FR 001 110026 000 S P 2010 000 1000},
  topics = {team,lri},
  year = 2008,
  x-equipes = {demons PROVAL},
  x-type = {manuel},
  x-support = {diffusion}
}
@misc{boldo08diffusion-2,
  author = {Sylvie Boldo and Thierry Vi\'eville},
  title = {L'informatique, ce n'est pas pour les filles},
  howpublished = {Interstices},
  year = {2008},
  topics = {team},
  month = sep,
  url = {http://interstices.info/idee-recue-informatique-5},
  note = {\url{http://interstices.info/idee-recue-informatique-5}},
  type_publi = {diffusion},
  x-equipes = {demons PROVAL},
  x-type = {article},
  x-support = {diffusion},
  x-scientific-popularization = {yes}
}
@misc{boldopodcast08,
  author = {Sylvie Boldo},
  title = {Pourquoi mon ordinateur calcule-t-il faux?},
  howpublished = {Interstices},
  year = {2008},
  month = apr,
  topics = {team},
  note = {Podcast, \url{http://interstices.info/a-propos-calcul-ordinateurs}},
  url = {http://interstices.info/a-propos-calcul-ordinateurs},
  type_publi = {diffusion},
  x-equipes = {demons PROVAL},
  x-type = {article},
  x-support = {diffusion},
  x-scientific-popularization = {yes}
}
@proceedings{mpc08,
  editor = {Philippe Audebaud and Christine Paulin-Mohring},
  title = {Mathematics of Program Construction, MPC 2008},
  booktitle = {Mathematics of Program Construction, MPC 2008},
  publisher = {Springer},
  address = {Marseille, France},
  month = jul,
  series = {Lecture Notes in Computer Science},
  volume = {5133},
  topics = {team,lri},
  year = {2008},
  x-equipes = {demons PROVAL EXT},
  x-type = {edition},
  url = {http://www.springerlink.com/content/978-3-540-70593-2},
  x-support = {actes}
}