@inproceedings{inproceedings, title  = {{Structural refinement in Object-Z/CSP}},

 url = {{}},

 year = {{2000}},

 month = {{1}},

 author = {{Derrick J and Smith G}},

 volume = {{1945}},

 journal = {{INTEGRATED FORMAL METHODS, PROCEEDINGS}},

 pages = {{194-213}},

 note = {{Accessed on 2024/12/22}}}