Alisa Arkadova

Publication Activity (10 Years)

Years Active: 2021-2024
Publications (10 Years): 2

Top Topics

Programming Concepts

Development Tools

Top Venues

Formal Aspects Comput.

Publications

Bertrand Meyer, Alisa Arkadova, Alexander Kogtenkov
The Concept of Class Invariant in Object-oriented Programming. Formal Aspects Comput. 36 (1) (2024)
Bertrand Meyer, Alisa Arkadova, Alexander Kogtenkov, Alexandr Naumchev
The concept of class invariant in object-oriented programming. CoRR (2021)