Verifying heap-manipulating programs in an SMT framework. (2007)

by Z Rakamaric, R Bruttomesso, A J Hu, A Cimatti
Venue:In ATVA’07,