Fernando Luís Dotti, Fábio Pasini, Osmar Marchi dos Santos. Uma Metodologia para a Verificação de Sistemas Parciais Modelados na Gramática de Grafos Baseada em Objetos. In Murilo S. de Camargo, Jaelson Freire Brelaz De Castro, editors, Proceedings of the 18th Brazilian Symposium on Software Engineering, SBES 2004, Brasília, DF, Brazil, October 18-22, 2004. pages 86-101, SBC, 2004. [doi]
Abstract is missing.