Browse by Person (creator, editor, contributor, etc.)
Number of items: 2.
Conference or workshop item
Derrick, J. and Wehrheim, H.
Using coupled simulations in non-atomic refinement.
In: ZB 2003: Formal Specification and Development in Z and B, Jun 04-06, 2003, Turku, Finland, .
(The full text of this publication is not available from this repository)