DBLP Record 'conf/icse/HatcliffDDJR03'

BibTeX

@inproceedings{DBLP:conf/icse/HatcliffDDJR03,
  author    = {John Hatcliff and
               Xianghua Deng and
               Matthew B. Dwyer and
               Georg Jung and
               Venkatesh Prasad Ranganath},
  title     = {Cadena: An Integrated Development, Analysis, and Verification
               Environment for Component-based Systems},
  booktitle = {ICSE},
  year      = {2003},
  pages     = {160-173},
  ee        = {http://computer.org/proceedings/icse/1877/18770160abs.htm},
  crossref  = {DBLP:conf/icse/2003},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/icse/2003,
  title     = {Proceedings of the 25th International Conference on Software
               Engineering, May 3-10, 2003, Portland, Oregon, USA},
  booktitle = {ICSE},
  publisher = {IEEE Computer Society},
  year      = {2003},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}