Huaikou Miao, Xiaolei Gao, Ling Liu. An Approach to Testing the Nonexistence of Initial State in Z Specifications. In 8th Asian Test Symposium (ATS 99), 16-18 November 1999, Shanghai, China. pages 289-294, IEEE Computer Society, 1999. [doi]
Abstract is missing.