2009-other.bib

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

@comment{{Command line: /usr/bin/bib2bib -q -oc 2009-other.cite -ob 2009-other.bib -c 'year = 2009 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{boldo09diffusion,
  author = {Sylvie Boldo},
  title = {Demandez le programme!},
  howpublished = {Interstices},
  year = {2009},
  month = feb,
  topics = {team, lri},
  url = {http://interstices.info/demandez-le-programme},
  note = {\url{http://interstices.info/demandez-le-programme}},
  type_publi = {diffusion},
  x-equipes = {demons PROVAL},
  x-type = {article},
  x-support = {diffusion},
  x-scientific-popularization = {yes}
}

@misc{ayad09,
  author = {Ali Ayad and Claude March\'e},
  title = {Behavioral Properties of Floating-Point Programs},
  howpublished = {Hisseo publications},
  year = 2009,
  note = {\url{http://hisseo.saclay.inria.fr/ayad09.pdf}},
  url = {http://hisseo.saclay.inria.fr/ayad09.pdf},
  topics = {team}
}

@unpublished{milchior09,
  author = {Arthur Milchior},
  title = {Algorithme de matching, modulo \'egalit\'e, incr\'emental, typ\'e et persistant},
  institution = {\'Ecole Normale Sup\'erieure, Paris},
  note = {Rapport de stage L3},
  rawebnote = {Rapport de stage L3},
  topics = {team},
  year = 2009
}

@misc{marche09ws,
  author = {Claude March\'e},
  title = {The {Krakatoa} tool for Deductive Verification of {Java}
                  Programs},
  howpublished = {Winter School on Object-Oriented Verification,
                  Viinistu, Estonia},
  month = jan,
  year = 2009,
  url = {http://krakatoa.lri.fr/ws/},
  x-pdf = {http://krakatoa.lri.fr/ws/notes.pdf},
  note = {\url{http://krakatoa.lri.fr/ws/}},
  topics = {team},
  x-equipes = {demons PROVAL},
  x-support = {diffusion},
  x-type = {invitation}
}