TY  - CONF

T1  - Testing refinements by refining tests

JO  - ZUM '98: THE Z FORMAL SPECIFICATION NOTATION

PY  - 1998/01/01

AU  - Derrick J

AU  - Boiten E

ED  - Bowen JP

ED  - Fett A

ED  - Hinchey MG

VL  - 1493

SP  - 265

EP  - 283

Y2  - 2024/12/22

ER  -