TY  - JOUR

T1  - Constructive consistency checking for partial specification in Z

JO  - SCI COMPUT PROGRAM

PY  - 1999/09/01

AU  - Boiten E

AU  - Derrick J

AU  - Bowman H

AU  - Steen M

ED  - 

VL  - 35

IS  - 1

SP  - 29

EP  - 75

Y2  - 2024/12/22

ER  -