2012-phd.bib
@comment{{This file has been generated by bib2bib 1.98}}
@comment{{Command line: /usr/bin/bib2bib -q -oc 2012-phd.cite -ob 2012-phd.bib -c 'year = 2012 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{nguyen12phd,
author = {Nguyen, Thi Minh Tuyen},
title = {Taking architecture and compiler into account
in formal proofs of numerical programs},
school = {Universit{\'e} Paris-Sud},
type = {Th{\`e}se de Doctorat},
hal = {http://tel.archives-ouvertes.fr/tel-00710193},
url = {http://proval.lri.fr/publications/tuyennguyen12phd.pdf},
x-equipes = {demons PROVAL},
x-support = {rapport},
x-type = {these},
topics = {team},
year = 2012,
month = jun
}
@phdthesis{conchon12hdr,
author = {Sylvain Conchon},
title = {{SMT} Techniques and their Applications: from {Alt-Ergo} to {Cubicle}},
year = 2012,
month = dec,
type = {Th\`{e}se d'habilitation},
school = {Universit{\'e} Paris-Sud},
type_publi = {these},
url = {http://www.lri.fr/~conchon/bib/conchon.html},
note = {In English, \url{http://www.lri.fr/~conchon/publis/conchonHDR.pdf}},
rawebnote = {In English, \url{http://www.lri.fr/~conchon/publis/conchonHDR.pdf}},
x-equipes = {demons PROVAL},
x-type = {habilitation},
x-support = {rapport},
topics = {team}
}