FUCHS, Arthur L.; 						MACHADO, Rodrigo; 						RIBEIRO, Leila.
 Visualização e Extensão de um Verificador de Modelos para a ferramenta Verigraph-GUI. <em>In</em>: WORKSHOP-ESCOLA DE INFORMÁTICA TEÓRICA (WEIT), 6.	, 2021, Online.
	 
	<strong>Anais</strong> [...].
 Porto Alegre: Sociedade Brasileira de Computação, 
	2021
.
 p. 156-162. 
		DOI: <a href="https://doi.org/10.5753/weit.2021.18936">https://doi.org/10.5753/weit.2021.18936</a>.