J4 ›› 1992, Vol. 14 ›› Issue (4): 18-28.
• 论文 • 上一篇 下一篇
王戟 贲可荣
出版日期:
发布日期:
Online:
Published:
王戟 贲可荣. 时态逻辑与程序验证[J]. J4, 1992, 14(4): 18-28.
0 / / 推荐
导出引用管理器 EndNote|Ris|BibTeX
链接本文: http://joces.nudt.edu.cn/CN/
http://joces.nudt.edu.cn/CN/Y1992/V14/I4/18
