2017-journal.bib
@comment{{This file has been generated by bib2bib 1.98}}
@comment{{Command line: /usr/bin/bib2bib -q -oc 2017-journal.cite -ob 2017-journal.bib -c 'year = 2017 and topics : "team" and $type="article"' ../../biblio/abbrevs.bib ../../biblio/demons.bib ../../biblio/demons2.bib ../../biblio/demons3.bib ../../biblio/team.bib ../../biblio/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}
}