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 - 2025/05/20 ER -