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}
}