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 - 2025/04/13 ER -