TY  - CONF

T1  - Refinement of objects and operations in Object-Z

JO  - FORMAL METHODS FOR OPEN OBJECT-BASED DISTRIBUTED SYSTEMS IV

PY  - 2000/01/01

AU  - Derrick J

AU  - Boiten E

ED  - Smith SF

ED  - Talcott CL

VL  - 49

SP  - 257

EP  - 277

Y2  - 2024/12/22

ER  -