Anna Mikhajlova
发表
Anna Mikhajlova,
1998,
ECOOP Workshops.
Emil Sekerinski,
Anna Mikhajlova,
1999
.
Anna Mikhajlova,
1999,
ECOOP Workshops.
Anna Mikhajlova,
A. Mikhajlova,
1999
.
Anna Mikhajlova,
1999,
Proceedings Technology of Object-Oriented Languages and Systems. TOOLS 29 (Cat. No.PR00275).
Anna Mikhajlova,
Joakim Wright von,
Ralph Back,
1998
.
Ralph-Johan Back,
Anna Mikhajlova,
Joakim von Wright,
2000,
Formal Aspects of Computing.
Anna Mikhajlova,
1999,
Proceedings of Technology of Object-Oriented Languages and Systems - TOOLS 30 (Cat. No.PR00278).
Emil Sekerinski,
Anna Mikhajlova,
E. Sekerinski,
1997,
FME.
Anna Mikhajlova,
Joakim von Wright,
1998,
TPHOLs.
Ralph-Johan Back,
Anna Mikhajlova,
Joakim von Wright,
1999,
World Congress on Formal Methods.
Anna Mikhajlova,
A. Mikhajlova,
1999
.
Emil Sekerinski,
Anna Mikhajlova,
1997
.
Anna Mikhajlova,
Joakim Wright von,
Ralph Back,
1997
.