TY  - CONF

T1  - Using coupled simulations in non-atomic refinement

JO  - ZB 2003: FORMAL SPECIFICATION AND DEVELOPMENT IN Z AND B

PY  - 2003/01/01

AU  - Derrick J

AU  - Wehrheim H

ED  - Bert D

ED  - Bowen JP

ED  - King S

ED  - Walden M

VL  - 2651

SP  - 127

EP  - 147

Y2  - 2024/12/22

ER  -