TY  - CONF

T1  - Automatically Generating Information from a Z Specification to Support the Classification Tree Method

UR  - https://doi.org/10.1007/3-540-44880-2_23

PY  - 2003/05/27

AU  - Hierons RM

AU  - Harman M

AU  - Singh H

ED  - 

DO  - DOI: 10.1007/3-540-44880-2_23

PB  - Springer Berlin Heidelberg

SN  - 9783540402534

SP  - 388

EP  - 407

Y2  - 2025/11/05

ER  -