2013-phd.bib

@comment{{This file has been generated by bib2bib 1.98}}
@comment{{Command line: /usr/bin/bib2bib -q -oc 2013-phd.cite -ob 2013-phd.bib -c 'year = 2013 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{herms13phd,
  author = {Paolo Herms},
  title = {Certification of a Tool Chain for Deductive Program Verification},
  school = {Universit{\'e} Paris-Sud},
  type = {Th{\`e}se de Doctorat},
  hal = {http://tel.archives-ouvertes.fr/tel-00789543},
  note = {\url{http://tel.archives-ouvertes.fr/tel-00789543}},
  x-equipes = {demons PROVAL},
  x-support = {rapport},
  x-type = {these},
  topics = {team},
  year = 2013,
  month = jan
}
@phdthesis{iguer13phd,
  author = {Mohamed Iguernelala},
  title = {Strengthening the Heart of an {SMT}-Solver: Design and Implementation of Efficient Decision Procedures},
  school = {Universit{\'e} Paris-Sud},
  type = {Th{\`e}se de Doctorat},
  hal = {http://tel.archives-ouvertes.fr/tel-00842555},
  x-equipes = {demons ProVal Toccata},
  x-support = {rapport},
  x-type = {these},
  topics = {team},
  year = 2013,
  month = jun
}
@phdthesis{tafat13phd,
  author = {Asma Tafat},
  title = {Preuves par raffinement de programmes avec pointeurs},
  school = {Universit{\'e} Paris-Sud},
  type = {Th{\`e}se de Doctorat},
  hal = {http://tel.archives-ouvertes.fr/tel-00874679},
  x-equipes = {demons ProVal Toccata},
  x-support = {rapport},
  x-type = {these},
  topics = {team},
  year = 2013,
  month = sep
}
@phdthesis{auger13phd,
  hal = {http://tel.archives-ouvertes.fr/tel-00818169/},
  topics = {team},
  author = {C\'edric Auger},
  title = {Compilation Certifiée de {SCADE/LUSTRE}},
  school = {Universit{\'e} Paris-Sud},
  type = {Th{\`e}se de Doctorat},
  x-equipes = {demons ProVal Toccata},
  x-support = {rapport},
  x-type = {these},
  note = {\url{http://tel.archives-ouvertes.fr/tel-00818169/}},
  year = 2013,
  month = feb
}