@inproceedings{FerraraMuellerNovacek15, author = {P. Ferrara and P. M{\"u}ller and M. Novacek}, title = {Automatic Inference of Heap Properties Exploiting Value Domains}, booktitle = {Verification, Model Checking, and Abstract Interpretation (VMCAI)}, year = {2015}, publisher = {Springer-Verlag}, series = {LNCS}, pages = {393-411}, volume = {8931}, url = {https://doi.org/10.1007/978-3-662-46081-8_22}, urltext = {[Publisher]} }