Peterson Rodrigues, Miguel Ecar, Stefane V. Menezes,  João Pablo S. da Silva, Gilleanes T. A. Guedes, and Elder M. Rodrigues. 2018.

        Avaliação Empírica do Método Formal para Especificação de Requisitos em Abordagens Ágeis
      . In <em>Anais do XIV Simpósio Brasileiro de Sistemas de Informação</em>, novembro 30, 2018, Caxias do Sul, Brasil. SBC, Porto Alegre, Brasil, 416-423.