维普期刊资源整合服务平台（V6.5）

3篇 您的检索式：作者名="TOYN I"

选中清除导出查看参考文献查看引证文献引用追踪共1页首页上一页第1页下一页末页 /1 跳转

	题名	作者	年代	出处	被引量
1	Z规格说明中初始状态存在性的证明显示文摘Z规格说明中的初始化定理的证明是对基于状态的规格说明的一个标准的检查.本文给出了一个证明初始化定理的过程,该过程可自动地构成证明的证据.作为实例,我们用该过程证明了两个初始化定理.	缪淮扣 Toyn,I	1995	软件学报1995，6，12：	3
2	Refactoring in Maintenance and Development of Z Specifications and Proofs显示文摘	STEPNEY S POLACK F TOYN I	2002	Electronic Notes in Theoretical Computer Science2002，70，3：	1
3	Refactoring in Maintenance and Development of Z Specifications and Proofs 显示文摘	Polack F Toyn I	2002	Electronic Notes in Theoretical Computer Science2002，70，3：	1

返回顶部每页显示：

共1页首页上一页第1页下一页末页 /1 跳转

互联网出版许可证新出网证(渝)字10号全国400电话 - 免长途话费