Peterson Luiz da R. Rodrigues, Miguel Ecar, Stefane V. Menezes, João Pablo S. da Silva, Gilleanes T. A. Guedes, Elder de M. Rodrigues. Empirical Evaluation of Formal Method for Requirements Specification in Agile Approaches. In Proceedings of the XIV Brazilian Symposium on Information Systems, SBSI 2018, Caxias do Sul, Brazil, June 04-08, 2018. ACM, 2018. [doi]
Abstract is missing.