TY  - CONF

T1  - Guards, Preconditions, and Refinement in Z.

JO  - ZB

UR  - https://doi.org/10.1007/3-540-44525-0

PY  - 2000/01/01

AU  - Miarka R

AU  - Boiten EA

AU  - Derrick J

ED  - Bowen JP

ED  - Dunne S

ED  - Galloway A

ED  - King S

PB  - Springer

VL  - 1878

SP  - 286

EP  - 303

Y2  - 2024/12/22

ER  -