You are here: TUCS > PUBLICATIONS > Publication Search > Class Refinement and Interface...
- TUCS Publication Series
- How to Publish in TUCS Series
- Publication Search
- Publication Graph
- Publication Input
- Publication Input Guide
- JuFo Browser
Class Refinement and Interface Refinement in Object-Oriented Programs
Anna Mikhajlova, Emil Sekerinski, Class Refinement and Interface Refinement in Object-Oriented Programs. In: FME'97: Industrial Applications and Strengthened Foundations of Formal Methods, LNCS 1313, 82--101, Springer, 1997.
Files:
Full publication in PDF-format
BibTeX entry:
@INPROCEEDINGS{pMiSe97,
title = {Class Refinement and Interface Refinement in Object-Oriented Programs},
booktitle = {FME'97: Industrial Applications and Strengthened Foundations of Formal Methods},
author = {Mikhajlova, Anna and Sekerinski, Emil},
series = {LNCS 1313},
publisher = {Springer},
pages = {82--101},
year = {1997},
}