Testing from a Z Specification

Robert M. Hierons. Testing from a Z Specification. Softw. Test., Verif. Reliab., 7(1):19-33, 1997.

Abstract

Abstract is missing.