Automatic Verification of Pointer Programs using Grammar-based Shape Analysis
https://www.powershow.com/view4/6fcdf5-YjI1Z/Automatic_Verification_of_Pointer_Programs_using_Grammar-based_Shape_Analysis_powerpoint_ppt_presentation
Icons create by Freepik from www.flaticon.com/
