Browse by Person (creator, editor, contributor, etc.)
Number of items: 1.
Miarka, Ralph and Boiten, Eerke Albert and Derrick, John
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 currently available from this repository. You may be able to access a copy if URLs are provided)