SANTOS, Mateus Oliveira; FREITAS, Joslaine Cristina Jeske de; SILVA, Gecirlei Francisco; BISPO JR., Esdras Lins. Validation of an Algorithm Visualization Tool for Teaching Induction Proof in Graph Theory. In: BRAZILIAN SYMPOSIUM ON COMPUTERS IN EDUCATION (SBIE), 31. , 2020, Online. Anais [...]. Porto Alegre: Sociedade Brasileira de Computação, 2020 . p. 1613-1622. DOI: https://doi.org/10.5753/cbie.sbie.2020.1613.