@inproceedings{atva2007-rbhc,
  author = {Zvonimir Rakamari\'c and Roberto Bruttomesso and
    Alan J. Hu and Alessandro Cimatti},
  title = {Verifying Heap-Manipulating Programs in an {SMT} Framework},
  booktitle = {Proceedings of the 5th International Symposium on
    Automated Technology for Verification and Analysis (ATVA 2007)},
  series = {Lecture Notes in Computer Science},
  volume = {4762},
  publisher = {Springer},
  editor = {Kedar S. Namjoshi and Tomohiro Yoneda},
  year = {2007},
  pages = {237--252},
}