Publicações

Resumos estendidos em conferências

• [PDF] João Vitor Fröhlich, Karina Girardi Roggia e Paulo Henrique Torrens. Formalização e Verificação em Coq do Algoritmo de Dijkstra. IX Encontro de Teoria da Computação. 144-148. SBC. 2024.

Monografia de TCC

• [PDF] João Vitor Fröhlich, Karina Girardi Roggia e Paulo Henrique Torrens. Formalização e Verificação em Coq do Algoritmo de Dijkstra. 2023. 51p. Graduação em Bacharelado em Ciência da Computação - UDESC, Joinville.