@inproceedings{LeYaYi05,
  title = "Automatic Verification of Pointer Programs Using Grammar-Based Shape Analysis",
  author = "Oukseh Lee and Hongseok Yang and Kwangkeun Yi",
  year = "2005",
  address = "Edinburgh",
  booktitle = "Proceedings of the 14th European Symposium on Programming",
  isbn = "3-540-25435-8",
  month = "April",
  pages = "124--140",
  publisher = "Springer-Verlag",
  series = "Lecture Notes in Computer Science",
  volume = "3444",
}