Verifying heapmanipulating programs with unknown procedure calls (2010)

by S Qin, C Luo, G He, F Craciun, W Chin
Venue:In ICFEM