John Derrick, Eerke Boiten. Refinement of objects and operations in Object-Z. In Scott F. Smith, Carolyn L. Talcott, editors, Formal Methods for Open Object-Based Distributed Systems IV, IFIF TC6/WG6.1 Fourth International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2000), September 6-8, 2000, Stanford, California, USA. Volume 177 of IFIP Conference Proceedings, pages 257, Kluwer, 2000.
@inproceedings{DerrickB00,
title = {Refinement of objects and operations in Object-Z},
author = {John Derrick and Eerke Boiten},
year = {2000},
tags = {meta-model, refinement, Meta-Environment, meta-objects},
researchr = {https://researchr.org/publication/DerrickB00},
cites = {0},
citedby = {0},
pages = {257},
booktitle = {Formal Methods for Open Object-Based Distributed Systems IV, IFIF TC6/WG6.1 Fourth International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2000), September 6-8, 2000, Stanford, California, USA},
editor = {Scott F. Smith and Carolyn L. Talcott},
volume = {177},
series = {IFIP Conference Proceedings},
publisher = {Kluwer},
isbn = {0-7923-7923-3},
}