Efficient Context-Sensitive Shape Analysis with Graph Based Heap Models | Publicación