RODRIGUES, Peterson; 						ECAR, Miguel; 						MENEZES, Stefane V.; 						SILVA,  João Pablo S. da; 						GUEDES, Gilleanes T. A.; 						RODRIGUES, Elder M..

        Avaliação Empírica do Método Formal para Especificação de Requisitos em Abordagens Ágeis
      . <em>In</em>: SIMPÓSIO BRASILEIRO DE SISTEMAS DE INFORMAÇÃO (SBSI), 14.	, 2018, Caxias do Sul.
	 
	<strong>Anais</strong> [...].
 Porto Alegre: Sociedade Brasileira de Computação, 
	2018
.
 p. 416-423.