Armaël Guéneau, Jacques-Henri Jourdan, Arthur Charguéraud, François Pottier. Formal Proof and Analysis of an Incremental Cycle Detection Algorithm. In John Harrison 0001, John O'Leary, Andrew Tolmach, editors, 10th International Conference on Interactive Theorem Proving, ITP 2019, September 9-12, 2019, Portland, OR, USA. Volume 141 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2019. [doi]
@inproceedings{GueneauJCP19,
title = {Formal Proof and Analysis of an Incremental Cycle Detection Algorithm},
author = {Armaël Guéneau and Jacques-Henri Jourdan and Arthur Charguéraud and François Pottier},
year = {2019},
doi = {10.4230/LIPIcs.ITP.2019.18},
url = {https://doi.org/10.4230/LIPIcs.ITP.2019.18},
researchr = {https://researchr.org/publication/GueneauJCP19},
cites = {0},
citedby = {0},
booktitle = {10th International Conference on Interactive Theorem Proving, ITP 2019, September 9-12, 2019, Portland, OR, USA},
editor = {John Harrison 0001 and John O'Leary and Andrew Tolmach},
volume = {141},
series = {LIPIcs},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik},
isbn = {978-3-95977-122-1},
}