Fröhlich, J., 		Roggia, K., & 		Torrens, P.
2024 jul 21.  Formalização e Verificação em Coq do Algoritmo de Dijkstra. Anais do Encontro de Teoria da Computação (ETC). [Online] :