TY  - CONF

T1  - Non-atomic refinement in Z

JO  - FM'99-FORMAL METHODS, VOL II

PY  - 1999/09/17

AU  - Derrick J

AU  - Boiten E

ED  - Wing JM

ED  - Woodchck J

ED  - Davies J

VL  - 1709

SP  - 1477

EP  - 1496

Y2  - 2025/01/13

ER  -