BibTeX record conf/serp/SongPLGCM03

• > Home > conf/serp/SongPLGCM03

@inproceedings{DBLP:conf/serp/SongPLGCM03,
  author       = {Mark A. J. Song and
                  Adriano C. M. Pereira and
                  Fernanda Lima and
                  Gustavo Gorgulho and
                  S{\'{e}}rgio Vale Aguiar Campos and
                  Wagner Meira Jr.},
  editor       = {Ban Al{-}Ani and
                  Hamid R. Arabnia and
                  Youngsong Mun},
  title        = {A Software Engineering Process to Specify and Verify E-Commerce Systems},
  booktitle    = {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},
  publisher    = {{CSREA} Press},
  year         = {2003},
  timestamp    = {Sat, 25 Jun 2016 12:18:27 +0200},
  biburl       = {https://dblp.org/rec/conf/serp/SongPLGCM03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}