@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 2024/12/22}}}