RODRIGUES, Peterson; 						ECAR, Miguel; 						MENEZES, Stefane V.; 						SILVA,  João Pablo S. da; 						GUEDES, Gilleanes T. A.; 						RODRIGUES, Elder M..
 
        Empirical Evaluation of Formal Method for Requirements Specification in Agile Approaches  
      . <em>In</em>: BRAZILIAN SYMPOSIUM ON INFORMATION SYSTEMS (SBSI), 14.	, 2018, Caxias do Sul.
	 
	<strong>Anais</strong> [...].
 Porto Alegre: Sociedade Brasileira de Computação, 
	2018
.
 p. 416-423.