2011-phd.bib

@comment{{This file has been generated by bib2bib 1.98}}
@comment{{Command line: /usr/bin/bib2bib -q -oc 2011-phd.cite -ob 2011-phd.bib -c 'year = 2011 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{lescuyer11these,
  author = {St{\'e}phane Lescuyer},
  title = {Formalisation et d\'eveloppement d'une tactique r\'eflexive pour la
d\'emonstration automatique en {Coq}},
  school = {Universit{\'e} Paris-Sud},
  type = {Th{\`e}se de Doctorat},
  x-equipes = {demons PROVAL},
  x-support = {rapport},
  x-type = {these},
  url = {http://proval.lri.fr/publications/lescuyer11these.pdf},
  hal = {http://tel.archives-ouvertes.fr/tel-00713668},
  topics = {team},
  year = 2011,
  month = jan
}
@phdthesis{bardou11phd,
  author = {Romain Bardou},
  title = {Verification of Pointer Programs Using Regions and Permissions},
  school = {Universit{\'e} Paris-Sud},
  type = {Th{\`e}se de Doctorat},
  x-equipes = {demons PROVAL},
  x-support = {rapport},
  x-type = {these},
  url = {http://proval.lri.fr/publications/bardou11phd.pdf},
  note = {\url{http://proval.lri.fr/publications/bardou11phd.pdf}},
  hal = {http://tel.archives-ouvertes.fr/tel-00647331},
  topics = {team},
  year = 2011,
  month = oct
}
@phdthesis{bobot11these,
  author = {Fran\c{c}ois Bobot},
  title = {Logique de s\'eparation et v\'erification d\'eductive},
  school = {Universit{\'e} Paris-Sud},
  type = {Th{\`e}se de Doctorat},
  x-tel = {http://tel.archives-ouvertes.fr/docs/00/65/25/08/PDF/VD_BOBOT_FRANCOIS_12122011.pdf},
  url = {http://proval.lri.fr/publications/bobot11these.pdf},
  hal = {http://tel.archives-ouvertes.fr/tel-00652508},
  x-equipes = {demons PROVAL},
  x-support = {rapport},
  x-type = {these},
  topics = {team},
  year = 2011,
  month = dec
}
@phdthesis{filliatre11hdr,
  author = {Jean-Christophe Filli\^atre},
  title = {Deductive Program Verification},
  year = 2011,
  month = dec,
  type = {Th\`{e}se d'habilitation},
  school = {Universit{\'e} Paris-Sud},
  type_publi = {these},
  url = {https://usr.lmf.cnrs.fr/~jcf/hdr/memoire.pdf},
  x-equipes = {demons PROVAL},
  x-type = {habilitation},
  x-support = {rapport},
  topics = {team, proval}
}