@inproceedings{inproceedings, title = {{A case study in partial specification: Consistency and refinement for object-Z}}, url = {{}}, year = {{2000}}, month = {{1}}, author = {{Taylor C and Derrick J and Boiten E}}, journal = {{ICFEM 2000: THIRD INTERNATIONAL CONFERENCE ON FORMAL ENGINEERING METHODS, PROCEEDINGS}}, pages = {{177-185}}, note = {{Accessed on 2025/08/16}}}