YahavR04'

BibTeX

@inproceedings{DBLP:conf/pldi/YahavR04,
  author    = {Eran Yahav and
               G. Ramalingam},
  title     = {Verifying safety properties using separation and heterogeneous
               abstractions},
  booktitle = {PLDI},
  year      = {2004},
  pages     = {25-34},
  ee        = {http://doi.acm.org/10.1145/996841.996846},
  crossref  = {DBLP:conf/pldi/2004},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/pldi/2004,
  editor    = {William Pugh and
               Craig Chambers},
  title     = {Proceedings of the ACM SIGPLAN 2004 Conference on Programming
               Language Design and Implementation 2004, Washington, DC,
               USA, June 9-11, 2004},
  booktitle = {PLDI},
  publisher = {ACM},
  year      = {2004},
  isbn      = {1-58113-807-5},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}