Santos, M., Freitas, J., Silva, G., & Bispo Jr., E. 2020 nov 24. Validação de um Sistema de Visualização de Algoritmos no Ensino de Provas por Indução em Teoria dos Grafos. Anais do Simpósio Brasileiro de Informática na Educação (SBIE). [Online] :