.png){kind=icon}
返回
Panellist position statement: some industrial experience with program verification
.png){kind=icon}
PRE
AI
DOI：10.1098/rsta.2005.1652.png)
.png){kind=icon}
原文求助.png){kind=icon}
分享.png){kind=icon}
收藏
摘要
En
AI总结
对已上传原文的论文进行重点信息的提取，主要内容包括：简要概述、研究摘要、背景介绍、关键亮点、图文解析、展望与总结。
期刊
P
IF:
3.7
论文数:
7.8K
被引数:
2.8W
机构
暂无机构信息
.png){kind=icon}
