The concept of class invariant in object-oriented programming. - Bertrand Meyer 001; Alisa Arkadova; Alexander Kogtenkov; Alexandr Naumchev (CoRR, 2021)

The Concept of Class Invariant in Object-oriented Programming. - Bertrand Meyer 001; Alisa Arkadova; Alexander Kogtenkov (Formal Aspects Comput., 2024)