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.