(2021). Functional Correctness of C Implementations of Dijkstra's, Kruskal's, and Prim's Algorithms. Computer Aided Verification, 12760, . https://doi.org/10.1007/978-3-030-81688-9_37
Chicago Style (17th ed.) Citation"Functional Correctness of C Implementations of Dijkstra's, Kruskal's, and Prim's Algorithms." Computer Aided Verification 12760 (2021). https://doi.org/10.1007/978-3-030-81688-9_37.
MLA (9th ed.) Citation"Functional Correctness of C Implementations of Dijkstra's, Kruskal's, and Prim's Algorithms." Computer Aided Verification, vol. 12760, 2021, https://doi.org/10.1007/978-3-030-81688-9_37.
Warning: These citations may not always be 100% accurate.