Fuchs, A., 		Machado, R., & 		Ribeiro, L.
2021 nov 17.  Visualização e Extensão de um Verificador de Modelos para a ferramenta Verigraph-GUI. Anais do Workshop-Escola de Informática Teórica (WEIT). [Online] :