FRÖHLICH, João Vitor; ROGGIA, Karina Girardi; TORRENS, Paulo Henrique. Formalização e Verificação em Coq do Algoritmo de Dijkstra. In: ENCONTRO DE TEORIA DA COMPUTAÇÃO (ETC), 9. , 2024, Brasília/DF. Anais [...]. Porto Alegre: Sociedade Brasileira de Computação, 2024 . p. 144-148. ISSN 2595-6116. DOI: https://doi.org/10.5753/etc.2024.3163.