TY  - CONF

T1  - Abstract Specification in Object-Z and CSP.

JO  - ICFEM

UR  - https://doi.org/10.1007/3-540-36103-0

PY  - 2002/01/01

AU  - Smith G

AU  - Derrick J

ED  - George C

ED  - Miao H

PB  - Springer

VL  - 2495

SP  - 108

EP  - 119

Y2  - 2024/12/22

ER  -