Formal Verification of Prim's Algorithm in SPARK. - Brian Wheelhouse; Kenneth M. Hopkinson; Laura R. Humphrey (HICSS, 2023)