Fröhlich, João, 		Roggia, Karina, E 		Torrens, Paulo.
" Formalização e Verificação em Coq do Algoritmo de Dijkstra" <em>Anais do Encontro de Teoria da Computação (ETC)</em> [Online], (21 julho 2024)