TY  - JOUR

T1  - Specification, refinement and verification of concurrent systems - An integration of Object-Z and CSP

JO  - FORM METHOD SYST DES

PY  - 2001/05/01

AU  - Smith G

AU  - Derrick J

ED  - 

VL  - 18

IS  - 3

SP  - 249

EP  - 284

Y2  - 2024/12/22

ER  -