Fuchs, Arthur, 		Machado, Rodrigo, E 		Ribeiro, Leila.
" Visualização e Extensão de um Verificador de Modelos para a ferramenta Verigraph-GUI" <em>Anais do Workshop-Escola de Informática Teórica (WEIT)</em> [Online], (17 novembro 2021)