Alisa Arkadova

According to our database, Alisa Arkadova authored at least 2 papers between 2021 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

The Concept of Class Invariant in Object-oriented Programming.

Bertrand Meyer, Alisa Arkadova, Alexander Kogtenkov

Formal Aspects Comput., March, 2024

2021

The concept of class invariant in object-oriented programming.

Bertrand Meyer, Alisa Arkadova, Alexander Kogtenkov, Alexandr Naumchev

CoRR, 2021