![](/img/cover-not-exists.png)
[IEEE Comput. Sco First IEEE International Conference on Formal Engineering Methods - Hiroshima, Japan (12-14 Nov. 1997)] Proceedings First IEEE International Conference on Formal Engineering Methods - Test case design based on Z and the classification-tree method
Singh, H., Conrad, M., Sadeghipour, S.Year:
1997
Language:
english
DOI:
10.1109/icfem.1997.630406
File:
PDF, 1.02 MB
english, 1997