@InProceedings{LeYaPe-CAV-2011,
author = {Oukseh Lee and Hongseok Yang and Rasmus Petersen},
title = {Program analysis for overlaid data structures},
booktitle = {Proceedings of the 23rd international conference on Computer Aided Verification (CAV'11)},
series = {Lecture Notes in Computer Science},
address = {Princeton, NJ, USA},
publisher = {Springer},
year = {2011}
}