@inproceedings{Kreiker10Shape,
  author = {J\"org Kreiker and Helmut Seidl and Vesal Vojdani},
  title = {Shape {A}nalysis of {L}ow-{L}evel {C} with {O}verlapping {S}tructures},
  booktitle = {Verification, Model Checking, and Abstract Interpretation},
  editor = {Gilles Barthe and Manuel V. Hermenegildo},
  month = {January},
  year = 2010,
  pages = {214-230},
  series = {Lecture Notes in Computer Science},
  volume = {5944},
  publisher = {Springer},
  address = {Madrid, Spain},
}