Verified Efficient Implementation of Gabow's Strongly Connected Component Algorithm.

Peter Lammich

Browse the full ITP paper archive.