2008-other.bib
@comment{{This file has been generated by bib2bib 1.98}}
@comment{{Command line: /usr/bin/bib2bib -q -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"' ../../biblio/abbrevs.bib ../../biblio/demons.bib ../../biblio/demons2.bib ../../biblio/demons3.bib ../../biblio/team.bib ../../biblio/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}
}