@inproceedings{LeYaYi2005,
   author = {Oukseh Lee, Hongseok Yang and Kwangkeun Yi},
   title = {Automatic Verification of Pointer Programs Using Grammar-Based Shape Analysis},
   booktitle = {ESOP 2005: The European Symposium on Programming},
   series = {Lecture Notes in Computer Science},
   volume = {3444},
   pages = {124-140},
   publisher = {Springer-Verlag},
   year = {2005},
   category = {heap-analysis},
   format = {pdf},
}