Shape Analysis through Predicate Abstraction and Model Checking (0)

by D Dams, K Namjoshi
Venue:In Proceedings of VMCAI 2003, LNCS