@InProceedings{GreutmannEilersMueller26,
author = {M. Greutmann and M. Eilers and P. M\"{u}ller},
editor="Darulova, Eva
and Lin, Anthony W.
and R{\"u}mmer, Philipp",
title = {Modular Reasoning about Object Relations},
booktitle = {Computer Aided Verification (CAV)},
year="2026",
publisher="Springer Nature Switzerland",
address="Cham",
pages="117--140",
isbn="978-3-032-32526-6",
url = {https://link.springer.com/chapter/10.1007/978-3-032-32526-6_6},
urltext   = {[Publisher]}
}