DBLP Record 'conf/icse/ChandraGP02'

BibTeX

@inproceedings{DBLP:conf/icse/ChandraGP02,
  author    = {Satish Chandra and
               Patrice Godefroid and
               Christopher Palm},
  title     = {Software model checking in practice: an industrial case
               study},
  booktitle = {ICSE},
  year      = {2002},
  pages     = {431-441},
  ee        = {http://doi.acm.org/10.1145/581339.581393},
  crossref  = {DBLP:conf/icse/2002},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/icse/2002,
  title     = {Proceedings of the 22rd International Conference on Software
               Engineering, ICSE 2002, 19-25 May 2002, Orlando, Florida,
               USA},
  booktitle = {ICSE},
  publisher = {ACM},
  year      = {2002},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}