J. Fröhlich, K. Roggia, and P. Torrens.
" Formalização e Verificação em Coq do Algoritmo de Dijkstra", in <em>Anais do IX Encontro de Teoria da Computação</em>, Brasília/DF, 2024, pp. 144-148, doi: <a href="https://doi.org/10.5753/etc.2024.3163">https://doi.org/10.5753/etc.2024.3163</a>.