Rodrigues, P., 		Ecar, M., 		Menezes, S., 		Silva,  ., 		Guedes, G., & 		Rodrigues, E.
(2018).
 
        Empirical Evaluation of Formal Method for Requirements Specification in Agile Approaches  
      .
In <em>Proceedings of the 14th Brazilian Symposium on Information Systems</em>, (pp. 416-423). Porto Alegre: SBC.