Shape analysis through predicate abstraction and model checking (2003)

by D Dams, K S Namjoshi
Venue:In Proc. of VMCAI'03, LNCS