TY  - CONF

T1  - Structural refinement in Object-Z/CSP

JO  - INTEGRATED FORMAL METHODS, PROCEEDINGS

PY  - 2000/01/01

AU  - Derrick J

AU  - Smith G

ED  - Grieskamp W

ED  - Santen T

ED  - Stoddart B

VL  - 1945

SP  - 194

EP  - 213

Y2  - 2024/12/26

ER  -