Dotti, F., 		Pasini, F., & 		Santos, O.
2004 out 18.  Uma Metodologia para a Verificação de Sistemas Parciais Modelados na Gramática de Grafos Baseada em Objetos. Anais do Simpósio Brasileiro de Engenharia de Software (SBES). [Online] :