TY  - CONF

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

PY  - 2003/01/01

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

ER  -