标题:A New Roadmap for Linking Theories of Programming
作者:He, JF[1]
作者全称:He Jifeng[1]
通讯作者:Jifeng, He(jifeng@sei.ecnu.edu.cn)
通讯作者地址:He, JF (reprint author), East China Normal Univ, Int Res Ctr Trustworthy Software, Shanghai Key Lab Trustworthy Comp, Shanghai, Peoples R China.
出版年:2017
卷:10134
页码:26-43
摘要:Formal methods advocate the crucial role played by the algebraic approach in specification and implementation of programs. Traditionally, a top-down a 更多
收录类别:SCOPUS;EI;CPCI-S
资源类型:外文期刊论文;外文会议论文
版权说明
文件名称:
文件大小: 0
内容类型:
版本类型: 出版稿
开放类型: 开放获取
使用许可: CC BY-NC-SA
TOP