Browse by Person (creator, editor, contributor, etc.)
Number of items: 1.
Derrick, J. and Boiten, E.A.
Refinement of objects and operations in Object-Z.
In: Smith, Scott F. and Talcott, Carolyn L., eds.
Fourth International Conference on Formal methods for open object-based distributed systems IV.
Kluwer Academic Publishers
ISBN 0-7923-7923-3 .
(Full text available)