TY  - RPRT
TI  - Automatic Inference of Relational Object Invariants
AU  - Yusen Su
AU  - Jorge A. Navas
AU  - Arie Gurfinkel
AU  - Isabel Garcia-Contreras
PY  - 2024
UR  - https://arxiv.org/abs/2411.14735
ID  - 2411.14735
ER  -