Trustworthy Graph Algorithms (Invited Talk).

Mohammad Abdulaziz, Kurt Mehlhorn, Tobias Nipkow

Browse the full MFCS paper archive.