2014-phd.bib

@comment{{This file has been generated by bib2bib 1.98}}
@comment{{Command line: /usr/bin/bib2bib -oc 2014-phd.cite -ob 2014-phd.bib -c 'year = 2014 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{mebsout14phd,
  title = {Invariants inference for model checking of parameterized systems},
  author = {Mebsout, Alain},
  hal = {https://tel.archives-ouvertes.fr/tel-01073980},
  topics = {team},
  school = {Universit{\'e} Paris-Sud},
  year = 2014,
  month = sep,
  type = {Th{\`e}se de Doctorat}
}
@phdthesis{dross14phd,
  author = {Claire Dross},
  title = {Generic Decision Procedures for Axiomatic First-Order Theories},
  school = {Universit{\'e} Paris-Sud},
  type = {Th{\`e}se de Doctorat},
  hal = {http://tel.archives-ouvertes.fr/tel-01002190},
  x-equipes = {demons ProVal Toccata},
  x-support = {rapport},
  x-type = {these},
  topics = {team},
  year = 2014,
  month = apr
}
@phdthesis{contejean14hdr,
  hal = {https://hal.inria.fr/tel-01089490},
  author = {{\'E}velyne Contejean},
  title = {{Facettes de la preuve, Jeux de reflets entre d{\'e}monstration automatique et preuve assist{\'e}}},
  year = 2014,
  month = jun,
  type = {Th{\`e}se d'habilitation},
  school = {Universit{\'e} Paris-Sud},
  type_publi = {these},
  note = {\url{https://www.lri.fr/~contejea/dossiers/hdr/hdr.pdf}},
  rawebnote = {\url{https://www.lri.fr/~contejea/dossiers/hdr/hdr.pdf}},
  x-equipes = {demons PROVAL},
  x-type = {habilitation},
  x-support = {rapport},
  topics = {team}
}
@phdthesis{boldo14hdr,
  hal = {https://hal.inria.fr/tel-01089643},
  author = {Sylvie Boldo},
  title = {Deductive Formal Verification: How To Make Your Floating-Point Programs Behave},
  year = 2014,
  month = oct,
  type = {Th\`{e}se d'habilitation},
  school = {Universit{\'e} Paris-Sud},
  type_publi = {these},
  x-equipes = {demons PROVAL},
  x-type = {habilitation},
  x-support = {rapport},
  topics = {team}
}