A Formal Methodology to Specify E-commerce Systems.

Adriano C. M. Pereira, Mark A. J. Song, Gustavo Gorgulho, Wagner Meira Jr., Srgio Vale Aguiar Campos

Browse the full ICFEM paper archive.