2017-book.bib

@comment{{This file has been generated by bib2bib 1.97pl3}}
@comment{{Command line: bib2bib -q -oc 2017-book.cite -ob 2017-book.bib -c 'year = 2017 and topics : "team" and ($type="book" or $type="inbook" or $type="incollection")' /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}}
@book{boldo17,
  topics = {team},
  title = {Computer Arithmetic and Formal Proofs: Verifying Floating-point Algorithms with the {Coq} System},
  author = {Boldo, Sylvie and Melquiond, Guillaume},
  hal = {https://hal.inria.fr/hal-01632617},
  publisher = {ISTE Press - Elsevier},
  year = 2017,
  month = dec
}