@inproceedings{inproceedings, title = {{Automatically Generating Information from a Z Specification to Support the Classification Tree Method}}, publisher = {{Springer Berlin Heidelberg}}, url = {{}}, year = {{2003}}, month = {{1}}, author = {{Hierons RM and Harman M and Singh H}}, doi = {{10.1007/3-540-44880-2_23}}, isbn = {{9783540402534}}, pages = {{388-407}}, note = {{Accessed on 2024/12/21}}}