Fröhlich, João, Karina Girardi Roggia, and Paulo Henrique Torrens.
" Formalização e Verificação em Coq do Algoritmo de Dijkstra." <em>Anais do IX Encontro de Teoria da Computação,
Brasília/DF, 2024</em>. SBC, 2024,  
pp.144-148.