Uma Metodologia para Verificação de Modelos de Sistemas de Comércio Eletrônico

PEREIRA, Adriano ; SONG, Mark Alan Junho ; GORGULHO, Gustavo ; MEIRA JR, Wagner ; CAMPOS, Sergio Vale Aguiar . Uma Metodologia para Verificação de Modelos de Sistemas de Comércio Eletrônico.. In: 5th Workshop on formal methods, 2002, Gramado, Brasil. Anais do Workshop on Formal Methods, 2002. p. 001-010.

2002