Anna Mikhajlova

Publication Activity (10 Years)

Years Active: 1997-2000
Publications (10 Years): 0

Publications

Ralph-Johan Back, Anna Mikhajlova, Joakim von Wright
Class Refinement as Semantics of Correct Object Substitutability. Formal Aspects Comput. 12 (1) (2000)
Ralph-Johan Back, Anna Mikhajlova, Joakim von Wright
Reasoning About Interactive Systems. World Congress on Formal Methods (1999)
Anna Mikhajlova
Specifying Java Frameworks Using Abstract Programs. TOOLS (30) (1999)
Anna Mikhajlova
Reasoning about Object Clients and Distributed Object Interaction. ECOOP Workshops (1999)
Anna Mikhajlova
Consistent Extension of Components in the Presence of Explicit Invariants. TOOLS (29) (1999)
Anna Mikhajlova, Joakim von Wright
Proving Isomorphism of First-Order Logic Proof Systems in HOL. TPHOLs (1998)
Anna Mikhajlova
Consistent Extension of Components in Presence of Explicit Invariants. ECOOP Workshops (1998)
Anna Mikhajlova, Emil Sekerinski
Class Refinement and Interface Refinement in Object-Oriented Programs. FME (1997)