TY  - JOUR

T1  - Testing from a Z Specification

JO  - Software Testing, Verification and Reliability

UR  - https://doi.org/10.1002/(sici)1099-1689(199703)7:1%3C19::aid-stvr124%3E3.0.co;2-n

PY  - 1998/12/04

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  - 2025/11/05

ER  -