2023-phd.bib

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

@comment{{Command line: /usr/bin/bib2bib -q -oc 2023-phd.cite -ob 2023-phd.bib -c 'year = 2023 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{pascutto23phd,
  topics = {team},
  author = {Pascutto, Cl\'ement},
  title = {Runtime Verification of OCaml Programs},
  school = {Universit\'e Paris-Saclay},
  year = 2023,
  type = {PhD thesis}
}

@phdthesis{denis23phd,
  topics = {team},
  author = {Denis, Xavier},
  title = {Deductive Verification of Rust Programs},
  school = {Universit\'e Paris-Saclay},
  year = 2023,
  type = {PhD thesis}
}

@phdthesis{lanco23phd,
  topics = {team},
  author = {Lanco, Antoine},
  title = {Strat\'egies pour la r\'eduction forte},
  school = {Universit\'e Paris-Saclay},
  year = 2023,
  type = {PhD thesis}
}