TY  - CONF

T1  - Consistency and Refinement for Partial Specification in Z.

JO  - FME

UR  - https://doi.org/10.1007/3-540-60973-3

PY  - 1996/01/01

AU  - Boiten EA

AU  - Derrick J

AU  - Bowman H

AU  - Steen M

ED  - Gaudel M-C

ED  - Woodcock J

PB  - Springer

VL  - 1051

SP  - 287

EP  - 306

Y2  - 2024/12/22

ER  -