(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
Citace podle Chicago (17th ed.)"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.
Citace podle MLA (9th ed.)"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.
Upozornění: Tyto citace jsou generovány automaticky. Nemusí být zcela správně podle citačních pravidel..