2018-report.bib

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

@comment{{Command line: /usr/bin/bib2bib -q -oc 2018-report.cite -ob 2018-report.bib -c 'year = 2018 and topics : "team" and ($type="techreport" or $type="manual" or $type="mastersthesis")' ../../biblio/abbrevs.bib ../../biblio/demons.bib ../../biblio/demons2.bib ../../biblio/demons3.bib ../../biblio/team.bib ../../biblio/crossrefs.bib}}

@techreport{clochard18rr,
  topics = {team},
  title = {Deductive Verification via Ghost Debugging},
  author = {Clochard, Martin and Paskevich, Andrei and March{\'e}, Claude},
  hal = {https://hal.inria.fr/hal-01907894},
  type = {Research Report},
  number = 9219,
  institution = {Inria},
  year = 2018
}