2017-report.bib

@comment{{This file has been generated by bib2bib 1.97pl3}}
@comment{{Command line: bib2bib -q -oc 2017-report.cite -ob 2017-report.bib -c 'year = 2017 and topics : "team" and ($type="techreport" or $type="manual" or $type="mastersthesis")' /users/demons/filliatr/toccata/web/biblio/bibliodemons/abbrevs.bib /users/demons/filliatr/toccata/web/biblio/bibliodemons/demons.bib /users/demons/filliatr/toccata/web/biblio/bibliodemons/demons2.bib /users/demons/filliatr/toccata/web/biblio/bibliodemons/demons3.bib /users/demons/filliatr/toccata/web/biblio/bibliodemons/team.bib /users/demons/filliatr/toccata/web/biblio/bibliodemons/crossrefs.bib}}
@techreport{fumex17rr,
  topics = {team},
  title = {Automated Verification of Floating-Point Computations in {Ada}
           Programs},
  author = {Fumex, Cl{\'e}ment and March{\'e}, Claude and Moy, Yannick},
  hal = {https://hal.inria.fr/hal-01511183},
  type = {Research Report},
  number = {RR-9060},
  pages = 53,
  institution = {Inria},
  year = 2017,
  month = apr
}
@techreport{dami17,
  topics = {team},
  title = {The {CoLiS} language: syntax, semantics and associated tools},
  author = {Dami, Ilham and March{\'e}, Claude},
  hal = {https://hal.inria.fr/hal-01614488},
  type = {Technical Report},
  number = 0491,
  institution = {Inria},
  year = 2017,
  month = oct
}
@techreport{baudin17,
  topics = {team},
  title = {Deductive Verification with the Help of Abstract Interpretation},
  author = {Lucas Baudin},
  hal = {https://hal.inria.fr/hal-01634318},
  type = {Technical Report},
  institution = {Univ Paris-Sud},
  year = 2017,
  month = nov
}