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]
Abstract is missing.