GaoQSH07'

@inproceedings{DBLP:conf/semco/GaoQSH07,
  author    = {Hongjiang Gao and
               Zheng Qin and
               Li-Ping Shao and
               Xingchen Heng},
  title     = {Specifying and Verifying Cases Retrieval System Combining
               Event B and Spin},
  booktitle = {ICSC},
  year      = {2007},
  pages     = {53-60},
  ee        = {http://doi.ieeecomputersociety.org/10.1109/ICSC.2007.10},
  crossref  = {DBLP:conf/semco/2007},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/semco/2007,
  title     = {Proceedings of the First IEEE International Conference on
               Semantic Computing (ICSC 2007), September 17-19, 2007, Irvine,
               California, USA},
  booktitle = {ICSC},
  publisher = {IEEE Computer Society},
  year      = {2007},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}