Medeiros, S., & 		Déharbe, D.
2001 out  3.  BDDmeter – Uma Ferramenta para Visualização Dinâmica de BDDs. Anais do Simpósio Brasileiro de Engenharia de Software (SBES). [Online] :