Mark A. J. Song, Adriano M. Pereira, Fernanda Lima, Gustavo Gorgulho, Sérgio Vale Aguiar Campos, Wagner Meira Jr.. A Software Engineering Process to Specify and Verify E-Commerce Systems. In Ban Al-Ani, Hamid R. Arabnia, Youngsong Mun, editors, Proceedings of the International Conference on Software Engineering Research and Practice, SERP 03, June 23 - 26, 2003, Las Vegas, Nevada, USA, Volume 1. pages 419-425, CSREA Press, 2003.
@inproceedings{SongPLGCM03, title = {A Software Engineering Process to Specify and Verify E-Commerce Systems}, 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.}, year = {2003}, tags = {software engineering, e-science}, researchr = {https://researchr.org/publication/SongPLGCM03}, cites = {0}, citedby = {0}, pages = {419-425}, booktitle = {Proceedings of the International Conference on Software Engineering Research and Practice, SERP 03, June 23 - 26, 2003, Las Vegas, Nevada, USA, Volume 1}, editor = {Ban Al-Ani and Hamid R. Arabnia and Youngsong Mun}, publisher = {CSREA Press}, isbn = {1-932415-19-X}, }