DBLP Record 'conf/pldi/AmmonsMBL03'

BibTeX

@inproceedings{DBLP:conf/pldi/AmmonsMBL03,
  author    = {Glenn Ammons and
               David Mandelin and
               Rastislav Bod\'{\i}k and
               James R. Larus},
  title     = {Debugging temporal specifications with concept analysis},
  booktitle = {PLDI},
  year      = {2003},
  pages     = {182-195},
  ee        = {http://doi.acm.org/10.1145/781131.781152},
  crossref  = {DBLP:conf/pldi/2003},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/pldi/2003,
  title     = {Proceedings of the ACM SIGPLAN 2003 Conference on Programming
               Language Design and Implementation 2003, San Diego, California,
               USA, June 9-11, 2003},
  booktitle = {PLDI},
  publisher = {ACM},
  year      = {2003},
  isbn      = {1-58113-662-5},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}