@inproceedings{YG:PLDI04,
 author = {E. Yahav and G. Ramalingam},
 title = {Verifying safety properties using separation and heterogeneous abstractions},
 booktitle = {Proceedings of the ACM SIGPLAN 2004 conference on Programming language design and implementation},
 year = {2004},
 isbn = {1-58113-807-5},
 pages = {25--34},
 location = {Washington DC, USA},
 doi = {http://doi.acm.org/10.1145/996841.996846},
 publisher = {ACM Press},
 }