ZhuHCZY10'

@inproceedings{DBLP:conf/qsic/ZhuHCZY10,
  author    = {Yi Zhu and
               Zhiqiu Huang and
               Zining Cao and
               Hang Zhou and
               Min Yuan},
  title     = {An MDE Based Approach for Generating Software Architecture
               Models from Formal Specifications},
  booktitle = {QSIC},
  year      = {2010},
  pages     = {373-376},
  ee        = {http://dx.doi.org/10.1109/QSIC.2010.13},
  crossref  = {DBLP:conf/qsic/2010},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/qsic/2010,
  editor    = {Ji Wang and
               W. K. Chan and
               Fei-Ching Kuo},
  title     = {Proceedings of the 10th International Conference on Quality
               Software, QSIC 2010, Zhangjiajie, China, 14-15 July 2010},
  booktitle = {QSIC},
  publisher = {IEEE Computer Society},
  year      = {2010},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}