Fuchs, Arthur, Rodrigo Machado, and Leila Ribeiro.
" Visualização e Extensão de um Verificador de Modelos para a ferramenta Verigraph-GUI." <em>Anais do VI Workshop-Escola de Informática Teórica,
Online, 2021</em>. SBC, 2021,  
pp.156-162.