TY  - RPRT
TI  - The concept of class invariant in object-oriented programming
AU  - Bertrand Meyer
AU  - Alisa Arkadova
AU  - Alexander Kogtenkov
PY  - 2024
UR  - https://arxiv.org/abs/2109.06557
ID  - 2109.06557
ER  -