João Fröhlich, Karina Roggia, and Paulo Torrens. 2024.
 Formalização e Verificação em Coq do Algoritmo de Dijkstra. In <em>Anais do IX Encontro de Teoria da Computação</em>, julho 21, 2024, Brasília/DF, Brasil. SBC, Porto Alegre, Brasil, 144-148. DOI: <a href="https://doi.org/10.5753/etc.2024.3163">https://doi.org/10.5753/etc.2024.3163</a>.