搜索历史记录选项已关闭，请开启搜索历史记录选项。
作者：
DOI: 10.1007/978-1-4471-3556-2
关键词:
摘要:
,1999, 引用: 0
Z User Workshop, Cambridge 1994,1994, 引用: 19
ZUM '97 Proceedings of the 10th International Conference of Z Users on The Z Formal Specification Notation,1997, 引用: 7
Information & Software Technology,1995, 引用: 4
springer.com
sci-hub.st