BibTeX record conf/icsoft/YiNM11

download as .bib file

@inproceedings{DBLP:conf/icsoft/YiNM11,
  author    = {Qing Yi and
               Jianwei Niu and
               Anitha R. Marneni},
  title     = {Collective Specification and Verification of Behavior Models and Object-oriented
               Implementations},
  booktitle = {{ICSOFT} 2011 - Proceedings of the 6th International Conference on
               Software and Data Technologies, Volume 2, Seville, Spain, 18-21 July,
               2011},
  pages     = {15--24},
  year      = {2011},
  crossref  = {DBLP:conf/icsoft/2011-2},
  timestamp = {Tue, 15 Aug 2017 06:40:48 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icsoft/YiNM11},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icsoft/2011-2,
  editor    = {Mar{\'{\i}}a Jos{\'{e}} Escalona Cuaresma and
               Boris Shishkov and
               Jos{\'{e}} Cordeiro},
  title     = {{ICSOFT} 2011 - Proceedings of the 6th International Conference on
               Software and Data Technologies, Volume 2, Seville, Spain, 18-21 July,
               2011},
  publisher = {SciTePress},
  year      = {2011},
  isbn      = {978-989-8425-77-5},
  timestamp = {Wed, 28 Sep 2011 18:25:28 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icsoft/2011-2},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics