Automatic Verification of Pointer Programs Using Grammar−Based Shape Analysis
Oukseh Lee‚ Hongseok Yang and Kwangkeun Yi
Address
Edinburgh
Book Title
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
Year
2005