| 标题 |
 书籍（章节） Testing-Based Formal Verification with Program Slicing on Functional Soundness and Completeness 基于测试的功能健全性和完整性的程序切片形式验证
相关领域
稳健性
计算机科学
完备性（序理论）
程序切片
切片
程序设计语言
形式验证
形式化方法
理论计算机科学
数学
调试
计算机图形学（图像）
数学分析
|
| 网址 | |
| DOI | |
| 其它 |
期刊：Lecture notes in computer science 作者：Liu Ai; Yang Liu; Shaoying Liu; Zhibin Yang 出版日期：2025-07-09 |
| 求助人 | |
| 下载 | 求助已完成，仅限求助人下载。 |
|
温馨提示：该文献已被科研通 学术中心 收录，前往查看
科研通『学术中心』是文献索引库，收集文献的基本信息（如标题、摘要、期刊、作者、被引量等），不提供下载功能。如需下载文献全文，请通过文献求助获取。
|
PDF的下载单位、IP信息已删除
d83
linkman
不想干活
Wells
荟萃分析
杨迪
Meyako
今天只做一件事
小白
从容芮
ccm
Virtual
默默的皮牙子
生动梦松
蓝天
飲啖茶食個包
尼古丁真
LaTeXer
leaolf
GingerF
皖公网安备34019202002308
