Where academic tradition
meets the exciting future

Consistent Extension of Components in the Presence of Explicit Invariants

Anna Mikhajlova, Consistent Extension of Components in the Presence of Explicit Invariants. In: Technology of Object-Oriented Languages and Systems (TOOLS 29), 76-85, IEEE Computer Society Press, 1999.

BibTeX entry:

@INPROCEEDINGS{pMikhajlova99a,
  title = {Consistent Extension of Components in the Presence of Explicit Invariants},
  booktitle = {Technology of Object-Oriented Languages and Systems (TOOLS 29)},
  author = {Mikhajlova, Anna},
  publisher = {IEEE Computer Society Press},
  pages = {76-85},
  year = {1999},
}

Edit publication