TY  - JOUR

T1  - Testing a system specified using Statecharts and Z

JO  - Information and Software Technology

UR  - https://doi.org/10.1016/s0950-5849(00)00145-2

PY  - 2001/02/01

AU  - Hierons RM

AU  - Sadeghipour S

AU  - Singh H

ED  - 

DO  - DOI: 10.1016/s0950-5849(00)00145-2

PB  - Elsevier BV

VL  - 43

IS  - 2

SP  - 137

EP  - 149

Y2  - 2025/11/05

ER  -