A. Fuchs, R. Machado, and L. Ribeiro.
" 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>, Online, 2021, pp. 156-162, doi: <a href="https://doi.org/10.5753/weit.2021.18936">https://doi.org/10.5753/weit.2021.18936</a>.