TY  - JOUR

T1  - Structural refinement of systems specified in object-Z and CSP

JO  - Formal Aspects of Computing

PY  - 2003/01/01

AU  - Derrick J

AU  - Smith G

ED  - 

DO  - DOI: 10.1007/s00165-003-0002-9

VL  - 15

IS  - 1

SP  - 1

EP  - 27

Y2  - 2024/12/26

ER  -