2017-report.bib

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

@comment{{Command line: /usr/bin/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")' ../../biblio/abbrevs.bib ../../biblio/demons.bib ../../biblio/demons2.bib ../../biblio/demons3.bib ../../biblio/team.bib ../../biblio/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
}