@inproceedings{inproceedings, title = {{Abstract Specification in Object-Z and CSP.}}, publisher = {{Springer}}, url = {{https://doi.org/10.1007/3-540-36103-0 }}, year = {{2002}}, month = {{1}}, author = {{Smith G and Derrick J}}, volume = {{2495}}, journal = {{ICFEM}}, pages = {{108-119}}, note = {{Accessed on 2024/12/26}}}