%0 Conference Paper %1 conf/serp/SongPLGCM03 %A Song, Mark A. J. %A Pereira, Adriano C. M. %A Lima, Fernanda %A Gorgulho, Gustavo %A Campos, Sérgio Vale Aguiar %A Jr., Wagner Meira %B Software Engineering Research and Practice %D 2003 %E Al-Ani, Ban %E Arabnia, Hamid R. %E Mun, Youngsong %I CSREA Press %K dblp %P 419-425 %T A Software Engineering Process to Specify and Verify E-Commerce Systems. %U http://dblp.uni-trier.de/db/conf/serp/serp2003-1.html#SongPLGCM03 %@ 1-932415-19-X

@inproceedings{conf/serp/SongPLGCM03, added-at = {2016-06-25T00:00:00.000+0200}, author = {Song, Mark A. J. and Pereira, Adriano C. M. and Lima, Fernanda and Gorgulho, Gustavo and Campos, Sérgio Vale Aguiar and Jr., Wagner Meira}, biburl = {https://www.bibsonomy.org/bibtex/24aadcaa7ad8b13dedd3b5582dd677827/dblp}, booktitle = {Software Engineering Research and Practice}, crossref = {conf/serp/2003-1}, editor = {Al-Ani, Ban and Arabnia, Hamid R. and Mun, Youngsong}, interhash = {36fa7c57c2953c48d3aaa13ca11d16fe}, intrahash = {4aadcaa7ad8b13dedd3b5582dd677827}, isbn = {1-932415-19-X}, keywords = {dblp}, pages = {419-425}, publisher = {CSREA Press}, timestamp = {2016-06-28T12:11:13.000+0200}, title = {A Software Engineering Process to Specify and Verify E-Commerce Systems.}, url = {http://dblp.uni-trier.de/db/conf/serp/serp2003-1.html#SongPLGCM03}, year = 2003 }