Arthur Fuchs, Rodrigo Machado, and Leila Ribeiro. 2021.
 Visualização e Extensão de um Verificador de Modelos para a ferramenta Verigraph-GUI. In <em>Anais do VI Workshop-Escola de Informática Teórica</em>, novembro 17, 2021, Online, Brasil. SBC, Porto Alegre, Brasil, 156-162. DOI: <a href="https://doi.org/10.5753/weit.2021.18936">https://doi.org/10.5753/weit.2021.18936</a>.