@inproceedings{Ferrara14, author = {P. Ferrara}, title = {Generic Combination of Heap and Value Analyses in Abstract Interpretation}, booktitle = {Verification, Model Checking, and Abstract Interpretation (VMCAI)}, year = {2014}, series = {Lecture Notes in Computer Science}, publisher = {Springer-Verlag}, month = {January}, volume = {8318}, pages = {302-321}, }