Sérgio Queiroz de Medeiros, David Déharbe. BDDmeter - Uma Ferramenta para Visualização Dinâmica de BDDs. In Cláudia M. L. Werner, editor, Proceedings of the 15th Brazilian Symposium on Software Engineering, SBES 2001, Rio de Janeiro, RJ, Brazil, October 3-5, 2001. pages 350-355, SBC, 2001. [doi]
Abstract is missing.