@article{article, title = {{Specification, refinement and verification of concurrent systems - An integration of Object-Z and CSP}}, url = {{}}, year = {{2001}}, month = {{5}}, author = {{Smith G and Derrick J}}, volume = {{18}}, journal = {{FORM METHOD SYST DES}}, issue = {{3}}, pages = {{249-284}}, note = {{Accessed on 2025/07/12}}}