Peterson Rodrigues, Miguel Ecar, Stefane V. Menezes,  João Pablo S. da Silva, Gilleanes T. A. Guedes, and Elder M. Rodrigues. 2018.
 
        Empirical Evaluation of Formal Method for Requirements Specification in Agile Approaches  
      . In <em>Proceedings of the 14th Brazilian Symposium on Information Systems</em>, November 30, 2018, Caxias do Sul, Brasil. SBC, Porto Alegre, Brasil, 416-423.