19 citations
1 paper · 1 filter
Alvaro Salas
In this paper we prove the correctness of Dijkstra's algorithm. We also discuss it and at the end we show an application.