TY  - JOUR

T1  - Testing a system specified using Statecharts and Z

JO  - Information and Software Technology

PY  - 2001/01/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  - 2024/12/22

ER  -