@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}, }