2012-phd.bib

@comment{{This file has been generated by bib2bib 1.98}}
@comment{{Command line: /usr/bin/bib2bib -oc 2012-phd.cite -ob 2012-phd.bib -c 'year = 2012 and topics : "team" and $type="phdthesis"' /home/marche/biblio/abbrevs.bib /home/marche/biblio/demons.bib /home/marche/biblio/demons2.bib /home/marche/biblio/demons3.bib /home/marche/biblio/team.bib /home/marche/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}
}