Program slicing: Its improved algorithm and application in verification

作者
Qi Lü,Fubo Zhang,Jiahua Qian
出处
期刊:Journal of Computer Science and Technology [Springer Science+Business Media]
卷期号:3 (1): 29-39 被引量:6
标识
DOI:10.1007/bf02943330

科研通智能强力驱动
Strongly Powered by AbleSci AI
科研通是完全免费的文献互助平台,具备全网最快的应助速度,最高的求助完成率。 对每一个文献求助,科研通都将尽心尽力,给求助人一个满意的交代。
实时播报
刚刚
刚刚
wuhh发布了新的文献求助10
1秒前
激动的访文完成签到,获得积分0
1秒前
1秒前
123发布了新的文献求助10
1秒前
慕青的应助被啊哈哇哦采纳,获得10
2秒前
烟花的应助被虚幻如容采纳,获得10
2秒前
z111发布了新的文献求助30
2秒前
肉肉发布了新的文献求助20
3秒前
3秒前
3秒前
3秒前
4秒前
Orange的应助被ame1120采纳,获得10
4秒前
4秒前
宇琛发布了新的文献求助10
5秒前
6秒前
7秒前
songhaha完成签到,获得积分20
7秒前
7秒前
jiangcheng发布了新的文献求助10
7秒前
852的应助被dort采纳,获得10
7秒前
7秒前
Sheldon发布了新的文献求助10
7秒前
123完成签到,获得积分10
8秒前
牙粽子完成签到,获得积分10
8秒前
yuayuaR发布了新的文献求助10
8秒前
Ch完成签到,获得积分10
9秒前
9秒前
sci来发布了新的文献求助10
9秒前
自信鬼神完成签到,获得积分10
9秒前
9秒前
Cx065发布了新的文献求助10
9秒前
王思聪发布了新的文献求助10
9秒前
10秒前
10秒前
慕青的应助被我要发Nature采纳,获得10
10秒前
小蘑菇的应助被平淡吐司采纳,获得10
10秒前
10秒前
高分求助中
(应助此贴封号)【重要!!请各用户(尤其是新用户)详细阅读】【科研通的精品贴汇总】 10000
Linear Model and Extensions 5000
Essentials of Carbohydrate Chemistry and Biochemistry, 4th Edition 1000
Электротехническая система магнитожидкостной герметизации валов регулируемых электродвигателей 800
Holistic Discourse Analysis, Second Edition by Robert E. Longacre 666
Guidelines for fracture-safe and fatigue-reliable design of steel structures 600
The Basics of Practical Optimization, Second Edition 600
热门求助领域 (近24小时)
化学 材料科学 医学 生物 纳米技术 计算机科学 工程类 有机化学 化学工程 生物化学 物理 复合材料 内科学 催化作用 光电子学 人工智能 细胞生物学 无机化学 物理化学 数学
热门帖子
关注 科研通微信公众号,转发送积分 7982406
求助须知:如何正确求助?哪些是违规求助? 9443408
关于积分的说明 21085248
捐赠科研通 7557531
什么是DOI,文献DOI怎么找? 3376240
关于科研通互助平台的介绍 2510510
邀请新用户注册赠送积分活动 2409473