Hugo Illous, Matthieu Lemerre, Xavier Rival. A relational shape abstract domain. Formal Methods in System Design, 57(3):343-400, 2021. [doi]
@article{IllousLR21, title = {A relational shape abstract domain}, author = {Hugo Illous and Matthieu Lemerre and Xavier Rival}, year = {2021}, doi = {10.1007/s10703-021-00366-4}, url = {https://doi.org/10.1007/s10703-021-00366-4}, researchr = {https://researchr.org/publication/IllousLR21}, cites = {0}, citedby = {0}, journal = {Formal Methods in System Design}, volume = {57}, number = {3}, pages = {343-400}, }