BibTeX record conf/icse/HatcliffDDJR03

• > Home > conf/icse/HatcliffDDJR03

@inproceedings{DBLP:conf/icse/HatcliffDDJR03,
  author       = {John Hatcliff and
                  Xianghua Deng and
                  Matthew B. Dwyer and
                  Georg Jung and
                  Venkatesh Prasad Ranganath},
  editor       = {Lori A. Clarke and
                  Laurie Dillon and
                  Walter F. Tichy},
  title        = {Cadena: An Integrated Development, Analysis, and Verification Environment
                  for Component-based Systems},
  booktitle    = {Proceedings of the 25th International Conference on Software Engineering,
                  May 3-10, 2003, Portland, Oregon, {USA}},
  pages        = {160--173},
  publisher    = {{IEEE} Computer Society},
  year         = {2003},
  url          = {https://doi.org/10.1109/ICSE.2003.1201197},
  doi          = {10.1109/ICSE.2003.1201197},
  timestamp    = {Thu, 23 Mar 2023 23:58:06 +0100},
  biburl       = {https://dblp.org/rec/conf/icse/HatcliffDDJR03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}