@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},
}