Number of items: 1.
Conference or workshop item
|
Miarka, R. and Boiten, E.A. and Derrick, J.
(2000)
Guards, Preconditions, and Refinement in Z.
In: ZB2000: Formal Specification and Development in Z and B / First International Conference of B and Z Users.
The full text of this publication is not available from this repository.
|
|
This list was generated on Fri May 24 10:52:26 2013 BST.
