Browse by Person (creator, editor, contributor, etc.)
Up a level |
Jump to: Conference or workshop item
Number of items: 1.
Conference or workshop item
Derrick, John and Boiten, Eerke Albert (2000) Refinement of objects and operations in Object-Z. In: Smith, Scott F. and Talcott, Carolyn L., eds. Formal Methods for Open Object-based Distributed Systems IV. Kluwer Academic Publishers pp. 257-277. ISBN 0-7923-7923-3. (Full text available) |