BibTeX record conf/seke/SongPLGCM03

download as .bib file

@inproceedings{DBLP:conf/seke/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.},
  title        = {Extending {UML} to Specify and Verify E-commerce Systems},
  booktitle    = {Proceedings of the Fifteenth International Conference on Software
                  Engineering {\&} Knowledge Engineering (SEKE'2003), Hotel Sofitel,
                  San Francisco Bay, CA, USA, July 1-3, 2003},
  pages        = {306--313},
  year         = {2003},
  timestamp    = {Sat, 25 Jun 2016 12:18:28 +0200},
  biburl       = {https://dblp.org/rec/conf/seke/SongPLGCM03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics