@inproceedings{multiview-cav11,
  title = "Program Analysis for Overlaid Data Structures",
  author = "Oukseh Lee and Hongseok Yang and Rasmus Petersen",
  year = "2011",
  address = "Utah, USA",
  booktitle = "Proceedings of the 23rd International Conference on Computer Aided Verification",
  isbn = "978-3-642-22109-5",
  month = "July",
  pages = "592--608",
  publisher = "Springer-Verlag",
  series = "Lecture Notes in Computer Science",
  volume = "6806",
}