Sofia L. Costa, Vinicius Pereira. Revisao Sistematica: Ferramentas de Apoio do Metodo B e da Notacao Z. In Gastón Mousqués, Guilherme Horta Travassos, Oscar Pastor, Márcio de Oliveira Barros, Diego Vallespir, Nelly Condori-Fernández, Leandro Antonelli, Arilo Claudio Dias Neto, Martín Solari, editors, Proceedings of the XVI Iberoamerican Conference on Software Engineering, CIbSE 2013, Montevideo, Uruguay, April 8-10, 2013. pages 417-430, Curran Associates, 2013.
Abstract is missing.