Formal Proof and Analysis of an Incremental Cycle Detection Algorithm.

Armal Guneau, Jacques-Henri Jourdan, Arthur Charguraud, Franois Pottier

Browse the full ITP paper archive.