2018-phd.bib

@comment{{This file has been generated by bib2bib 1.98}}

@comment{{Command line: /usr/bin/bib2bib -q -oc 2018-phd.cite -ob 2018-phd.bib -c 'year = 2018 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{clochard18phd,
  topics = {team},
  title = {M\'ethodes et outils pour la sp\'ecification et la preuve de propri\'et\'es difficiles de programmes s\'equentiels},
  author = {Clochard, Martin},
  hal = {https://tel.archives-ouvertes.fr/tel-01787689},
  number = {2018SACLS071},
  school = {Universit{\'e} Paris-Saclay},
  year = 2018,
  month = mar,
  type = {Th{\`e}se de Doctorat}
}

@phdthesis{declerck18phd,
  topics = {team},
  title = {Verification via {Model Checking} of Parameterized Concurrent Programs on Weak Memory Models},
  author = {Declerck, David},
  hal = {https://tel.archives-ouvertes.fr/tel-01900842},
  school = {Universit{\'e} Paris-Saclay},
  year = 2018,
  month = sep,
  keywords = {Weak memory ; Model checking ; Verification ; M{\'e}moire faible},
  type = {Th{\`e}se de Doctorat}
}

@phdthesis{pereira18phd,
  topics = {team},
  title = {Tools and Techniques for the Verification of Modular Stateful Code},
  author = {Pereira, M{\'a}rio},
  school = {Universit{\'e} Paris-Saclay},
  year = 2018,
  month = dec,
  type = {Th{\`e}se de Doctorat}
}