Rodrigues, P., 		Ecar, M., 		Menezes, S., 		Silva,  ., 		Guedes, G., & 		Rodrigues, E.
(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>, (pp. 416-423). Porto Alegre: SBC.