TY  - JOUR

T1  - Combining component specifications in object-Z and CSP

JO  - Formal Aspects of Computing

PY  - 2002/01/01

AU  - Derrick J

AU  - Boiten E

ED  - 

DO  - DOI: 10.1007/s001650200002

VL  - 13

IS  - 2

SP  - 111

EP  - 127

Y2  - 2024/12/22

ER  -