Fröhlich, João, Karina Girardi Roggia, and Paulo Henrique Torrens.
" Formalization and Verification in Coq of Dijkstra's Algorithm." <em>Proceedings of the 9th Theory of Computation Meeting,
Brasília/DF, 2024</em>. SBC, 2024,  
pp.144-148.