Rodrigues, Peterson, 		Ecar, Miguel, 		Menezes, Stefane V., 		Silva,  João Pablo S. da, 		Guedes, Gilleanes T. A., E 		Rodrigues, Elder M..
" 
        Avaliação Empírica do Método Formal para Especificação de Requisitos em Abordagens Ágeis
      " <em>Anais do Simpósio Brasileiro de Sistemas de Informação (SBSI)</em> [Online], (30 novembro 2018)