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 - 2025/06/26 ER -