TY  - CONF

T1  - Refinement and Verification of Concurrent Systems Specified in Object-Z and CSP.

JO  - ICFEM

UR  - http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=4977

PY  - 1997/01/01

AU  - Smith G

AU  - Derrick J

ED  - 

DO  - DOI: 10.1109/ICFEM.1997.630436

PB  - IEEE Computer Society

SP  - 293

EP  - 303

Y2  - 2024/12/22

ER  -