A Logic and Decision Procedure for Predicate Abstraction of Heap-Manipulating Programs (2006)

by J Bingham, Z Rakamaric
Venue:In VMCAI, Springer LNCS 3855