Z规范的更灵活发展| IEEE会议出版物| IEEE Xplore