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}
}