TY  - CONF

T1  - Non-atomic refinement in Z and CSP

JO  - ZB 2005: FORMAL SPECIFICATION AND DEVELOPMENT  IN Z AND B, PROCEEDINGS

PY  - 2005/01/01

AU  - Derrick J

AU  - Wehrheim H

ED  - Treharne H

ED  - King S

ED  - Henson M

ED  - Schneider S

VL  - 3455

SP  - 24

EP  - 44

Y2  - 2024/12/26

ER  -