Searching for "Class Refinement and Interface Refinement in Object-Oriented Programs." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

2 documents found, showing 1 through 2.

Class refinement and interface refinement in object-oriented programs
by Anna Mikhajlova, Emil Sekerinski Turku Centre For — 1997 — In Proceedings of FME’97: Industrial Applications and Strengthened Foundations of Formal Methods
… Class Refinement and Interface Refinement in Object-Oriented Programs \Lambda Anna Mikhajlova…
Cited by 35 (5 self) – Add To MetaCart

Ensuring Correctness of Object and Component Systems
by Anna Mikhajlova, Anna Mikhajlova, Anna Mikhajlova, Painosalama Oy, Îñèï Ìàíäåëüøòàì — 1999
…. Sekerinski. Class Refinement and Interface Refinement in Object-Oriented Programs. In Proceedings of the 4th…
Cited by 7 (0 self) – Add To MetaCart

Showing 1 through 2.

Try your query at: Scholar | Yahoo! | Ask | MS Live | CSB