Anna Mikhajlova

According to our database, Anna Mikhajlova authored at least 7 papers between 1997 and 2000.

Collaborative distances:

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

2000

Class Refinement as Semantics of Correct Object Substitutability.

Ralph-Johan Back, Anna Mikhajlova, Joakim von Wright

Formal Aspects Comput., 2000

1999

Specifying Java Frameworks Using Abstract Programs.

Anna Mikhajlova

Proceedings of the TOOLS 1999: 30th International Conference on Technology of Object-Oriented Languages and Systems, Delivering Quality Software, 1999

Reasoning About Interactive Systems.

Ralph-Johan Back, Anna Mikhajlova, Joakim von Wright

Proceedings of the FM'99 - Formal Methods, 1999

Reasoning about Object Clients and Distributed Object Interaction.

Anna Mikhajlova

Proceedings of the Object-Oriented Technology, ECOOP'99 Workshop Reader, 1999

1998

Proving Isomorphism of First-Order Logic Proof Systems in HOL.

Anna Mikhajlova, Joakim von Wright

Proceedings of the Theorem Proving in Higher Order Logics, 11th International Conference, 1998

Consistent Extension of Components in Presence of Explicit Invariants.

Anna Mikhajlova

Proceedings of the Object-Oriented Technology, ECOOP'98 Workshop Reader, 1998

1997

Class Refinement and Interface Refinement in Object-Oriented Programs.

Anna Mikhajlova, Emil Sekerinski

Proceedings of the FME '97: Industrial Applications and Strengthened Foundations of Formal Methods, 1997