Mark A. J. Song, Adriano M. Pereira, Fernanda Lima, Gustavo Gorgulho, Sérgio Vale Aguiar Campos, Wagner Meira Jr.
Extending UML to Specify and Verify E-commerce Systems
SEKE, 2003.
@inproceedings{SEKE-2003-SongPLGCM,
author = "Mark A. J. Song and Adriano M. Pereira and Fernanda Lima and Gustavo Gorgulho and Sérgio Vale Aguiar Campos and Wagner Meira Jr.",
booktitle = "{Proceedings of the 15th International Conference on Software Engineering and Knowledge Engineering}",
pages = "306--313",
title = "{Extending UML to Specify and Verify E-commerce Systems}",
year = 2003,
}