2017-journal.bib

@comment{{This file has been generated by bib2bib 1.97pl3}}
@comment{{Command line: bib2bib -q -oc 2017-journal.cite -ob 2017-journal.bib -c 'year = 2017 and topics : "team" and $type="article"' /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}}
@article{boldo17toms,
  topics = {team},
  title = {On the robustness of the {2Sum} and {Fast2Sum} algorithms},
  author = {Boldo, Sylvie and Graillat, Stef and Muller, Jean-Michel},
  hal = {https://hal-ens-lyon.archives-ouvertes.fr/ensl-01310023},
  journal = {ACM Transactions on Mathematical Software},
  publisher = {ACM Press},
  year = {2017},
  volume = {44},
  number = {1},
  month = jul,
  pdf = {https://hal-ens-lyon.archives-ouvertes.fr/ensl-01310023/file/FaithfulTwoSum-Final-Fev2017.pdf}
}
@article{chen17jfr,
  topics = {team},
  title = {A Formally Proved, Complete Algorithm for Path Resolution with Symbolic Links},
  author = {Chen, Ran and Clochard, Martin and March{\'e}, Claude},
  hal = {https://hal.inria.fr/hal-01652148},
  journal = {Journal of Formalized Reasoning},
  volume = 10,
  number = 1,
  year = 2017,
  pages = {51--66},
  doi = {10.6092/issn.1972-5787/6767},
  url = {https://jfr.unibo.it/article/view/6767}
}