Fuchs, A., 		Machado, R., & 		Ribeiro, L.
(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>, (pp. 156-162). Porto Alegre: SBC.
doi:10.5753/weit.2021.18936