TY  - CONF

T1  - A case study in partial specification: Consistency and refinement for object-Z

JO  - ICFEM 2000: THIRD INTERNATIONAL CONFERENCE ON FORMAL ENGINEERING METHODS, PROCEEDINGS

PY  - 2000/01/01

AU  - Taylor C

AU  - Derrick J

AU  - Boiten E

ED  - Liu S

ED  - McDermid JA

ED  - Hinchey MG

SP  - 177

EP  - 185

Y2  - 2024/12/22

ER  -