Fröhlich, J., 		Roggia, K., & 		Torrens, P.
(2024).
 Formalização e Verificação em Coq do Algoritmo de Dijkstra.
In <em>Anais do IX Encontro de Teoria da Computação</em>, (pp. 144-148). Porto Alegre: SBC.
doi:10.5753/etc.2024.3163