Paper

A Formal Methodology to Specify E-commerce Systems

PEREIRA, Adriano ; SONG, Mark Alan Junho ; GORGULHO, Gustavo ; MEIRA JR, Wagner ; CAMPOS, Sergio Vale Aguiar . A Formal Methodology to Specify E-commerce Systems. In: 4th International Conference on Formal Engineering Methods, 2002, Shanga, China. Formal Methods and Software Engineering - LNCS, 2002. v. 2495. p. 180-191.

2002

Created by Lattes PostCaptcha Importer at 2018-06-05 15:22:35.0.
Last updated by Lattes PostCaptcha Importer at 2018-06-05 15:34:37.0.
Simplified Graph of Associations
Quid