2009-phd.bib
@comment{{This file has been generated by bib2bib 1.98}}
@comment{{Command line: /usr/bin/bib2bib -q -oc 2009-phd.cite -ob 2009-phd.bib -c 'year = 2009 and topics : "team" and $type="phdthesis"' ../../biblio/abbrevs.bib ../../biblio/demons.bib ../../biblio/demons2.bib ../../biblio/demons3.bib ../../biblio/team.bib ../../biblio/crossrefs.bib}}
@phdthesis{moy09phd,
author = {Yannick Moy},
title = {Automatic Modular Static Safety Checking for C Programs},
school = {Universit{\'e} Paris-Sud},
year = 2009,
month = jan,
topics = {team},
x-equipes = {demons PROVAL},
x-type = {these},
x-support = {rapport},
url = {http://www.lri.fr/~marche/moy09phd.pdf}
}