Dennis Dams Kedar S. Namjoshi Shape Analysis through Predicate Abstraction and Model Checking. 310-324 2003 conf/vmcai/2003 VMCAI http://link.springer.de/link/service/series/0558/bibs/2575/25750310.htm db/conf/vmcai/vmcai2003.html#DamsN03