TY  - JOUR

T1  - Testing from a Z Specification

JO  - Software Testing, Verification and Reliability

PY  - 1997/01/01

AU  - HIERONS RM

ED  - 

DO  - DOI: 10.1002/(sici)1099-1689(199703)7:1<19::aid-stvr124

PB  - Wiley

VL  - 7

IS  - 1

SP  - 19

EP  - 33

Y2  - 2024/12/21

ER  -