S. A. Vilkomir and J. P. Bowen, “Formalization of Software Testing Criterion using Z Notation,” 25th Annual International Computer Software and Applications, Chicago, 2001, pp. 351-356.
has been cited by the following article:
Related Articles: