Functional Correctness of C Implementations of Dijkstra's, Kruskal's, and Prim's Algorithms.

Anshuman Mohan, Wei Xiang Leow, Aquinas Hobor

Browse the full CAV paper archive.