Fröhlich, João, 		Roggia, Karina, AND 		Torrens, Paulo.
" Formalization and Verification in Coq of Dijkstra's Algorithm" <em>Proceedings of  the Theory of Computation Meeting (ETC)</em> [Online], (21 July 2024)