TY  - CHAP

T1  - Testing Refinements by Refining Tests

T2  - ZUM ’98: The Z Formal Specification Notation

PY  - 1998/02/03

AU  - Derrick J

AU  - Boiten E

ED  - 

DO  - DOI: 10.1007/978-3-540-49676-2_19

PB  - Springer Berlin Heidelberg

SN  - 9783540650706

SP  - 265

EP  - 283

Y2  - 2024/10/23

ER  -