Functional Correctness of C Implementations of Dijkstra's, Kruskal's, and Prim's Algorithms. - Anshuman Mohan; Wei Xiang Leow; Aquinas Hobor (CAV (2), 2021)