| |
| 2000 | ||
|---|---|---|
| 8 | EE | Ralph-Johan Back, Anna Mikhajlova, Joakim von Wright: Class Refinement as Semantics of Correct Object Substitutability. Formal Asp. Comput. 12(1): 18-40 (2000) |
| 1999 | ||
| 7 | Anna Mikhajlova: Reasoning about Object Clients and Distributed Object Interaction. ECOOP Workshops 1999: 10 | |
| 6 | EE | Anna Mikhajlova: Consistent Extension of Components in the Presence of Explicit Invariants. TOOLS (29) 1999: 76-85 |
| 5 | EE | Anna Mikhajlova: Specifying Java Frameworks Using Abstract Programs. TOOLS (30) 1999: 136- |
| 4 | EE | Ralph-Johan Back, Anna Mikhajlova, Joakim von Wright: Reasoning About Interactive Systems. World Congress on Formal Methods 1999: 1460-1476 |
| 1998 | ||
| 3 | EE | Anna Mikhajlova: Consistent Extension of Components in Presence of Explicit Invariants. ECOOP Workshops 1998: 138-140 |
| 2 | Anna Mikhajlova, Joakim von Wright: Proving Isomorphism of First-Order Logic Proof Systems in HOL. TPHOLs 1998: 295-314 | |
| 1997 | ||
| 1 | Anna Mikhajlova, Emil Sekerinski: Class Refinement and Interface Refinement in Object-Oriented Programs. FME 1997: 82-101 | |
| 1 | Ralph-Johan Back | [4] [8] |
| 2 | Emil Sekerinski | [1] |
| 3 | Joakim von Wright | [2] [4] [8] |