SciHub
文献互助
期刊查询
一搜即达
科研导航
即时热点
交流社区
登录
注册
发布
文献
求助
首页
我的求助
捐赠本站
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]
日期:1988-01-01
卷期号:3 (1): 29-39
被引量:6
标识
DOI:10.1007/bf02943330
求助该文献
相关文献
科研通AI机器人已完成分析
对不起,本页面需要您登录以后才可查看
进入登录/注册页面
科研通智能强力驱动
Strongly Powered by AbleSci AI
我的文献求助列表
浏览历史
一分钟了解求助规则
|
捐赠本站
|
历史今天
更新
⚡
2026年影响因子、分区
已更新!
(2026-6-17)
更新
📰 新增『新锐期刊分区』
(2026-3-24)
更新
💬 新增更精细的自定义提醒设置
(2026-1-4)
新增
🕒 每天60秒读懂世界·精选全球要闻
(2026-1-2)
新增
PDF的下载单位、IP信息已删除
(2025-6-4)
科研通是完全免费的文献互助平台,具备全网最快的应助速度,最高的求助完成率。 对每一个文献求助,科研通都将尽心尽力,给求助人一个满意的交代。
实时播报
drhxh
关闭了
drhxh
的
文献求助
刚刚
风趣的文博
发布了新的
文献求助
10
刚刚
wuhh
发布了新的
文献求助
10
1秒前
激动的访文
完成签到,获得积分
0
1秒前
情怀
上传了
应助文件
1秒前
123
发布了新的
文献求助
10
1秒前
慕青
的
应助
被
啊哈哇哦
采纳,获得
10
2秒前
烟花
的
应助
被
虚幻如容
采纳,获得
10
2秒前
z111
发布了新的
文献求助
30
2秒前
肉肉
发布了新的
文献求助
20
3秒前
星辰大海
上传了
应助文件
3秒前
打打
上传了
应助文件
3秒前
orixero
上传了
应助文件
3秒前
隐形曼青
上传了
应助文件
4秒前
Orange
的
应助
被
ame1120
采纳,获得
10
4秒前
敏感的靳
上传了
应助文件
4秒前
宇琛
发布了新的
文献求助
10
5秒前
情怀
上传了
应助文件
6秒前
李健的小迷弟
的
应助
被
miaomiaojiang
采纳,获得
10
7秒前
songhaha
完成签到,获得积分
20
7秒前
Akim
上传了
应助文件
7秒前
jiangcheng
发布了新的
文献求助
10
7秒前
852
的
应助
被
dort
采纳,获得
10
7秒前
星辰大海
上传了
应助文件
7秒前
Sheldon
发布了新的
文献求助
10
7秒前
123
完成签到,获得积分
10
8秒前
牙粽子
完成签到,获得积分
10
8秒前
yuayuaR
发布了新的
文献求助
10
8秒前
Ch
完成签到,获得积分
10
9秒前
科研通AI6.4
上传了
应助文件
9秒前
sci来
发布了新的
文献求助
10
9秒前
自信鬼神
完成签到,获得积分
10
9秒前
初景
关闭了
初景
的
文献求助
9秒前
Cx065
发布了新的
文献求助
10
9秒前
王思聪
发布了新的
文献求助
10
9秒前
研友_VZG7GZ
上传了
应助文件
10秒前
乘11
上传了
应助文件
10秒前
慕青
的
应助
被
我要发Nature
采纳,获得
10
10秒前
小蘑菇
的
应助
被
平淡吐司
采纳,获得
10
10秒前
Zhahu
关闭了
Zhahu
的
文献求助
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
今日热心研友
无极微光
169
4030
Mic
5110
null
272
1070
v0id
211
1520
aaaa
80
2120
坚强冰枫
145
1320
DW
104
1640
aajhajkahna
113
1080
古月水兽
81
1280
Criminology34
93
1050
xing_xing
52
1420
夜月残阳
103
640
GingerF
1660
乐空思
33
1250
wch666
56
890
丹丹
139
叽叽
42
610
OK
1020
秋风
45
540
乘11
98
注:热心度 = 本日应助数 + 本日被采纳获取积分÷10