DOTTI, Fernando L.; 						PASINI, Fábio; 						SANTOS, Osmar M. dos.
 Uma Metodologia para a Verificação de Sistemas Parciais Modelados na Gramática de Grafos Baseada em Objetos. <em>In</em>: SIMPÓSIO BRASILEIRO DE ENGENHARIA DE SOFTWARE (SBES), 18.	, 2004, Brasília/DF.
	 
	<strong>Anais</strong> [...].
 Porto Alegre: Sociedade Brasileira de Computação, 
	2004
.
 p. 86-101. 
		DOI: <a href="https://doi.org/10.5753/sbes.2004.23835">https://doi.org/10.5753/sbes.2004.23835</a>.