ContractCheck: Checking Ethereum Smart Contracts in Fine-Grained Level

已完结

文献求助详情

标题	ContractCheck: Checking Ethereum Smart Contracts in Fine-Grained Level ContractCheck：细粒度检查以太坊智能合约相关领域计算机科学程序设计语言
网址	https://doi.org/10.1109/tse.2024.3400294
DOI	10.1109/tse.2024.3400294 doi
其它	期刊：IEEE Transactions on Software Engineering 作者：Xite Wang; Senping Tian; Wei Cui 出版日期：2024-05-15
求助人	阿琦在 2024-11-18 16:17:55 发布，悬赏 10 积分
下载	求助已完成，仅限求助人下载。
	温馨提示：该文献已被科研通学术中心收录，前往查看科研通『学术中心』是文献索引库，收集文献的基本信息（如标题、摘要、期刊、作者、被引量等），不提供下载功能。如需下载文献全文，请通过文献求助获取。

上个求助

下个求助

该求助已完结，感谢关注

如需该文献，请重新发布求助，前往发布

科研通，让科研之路畅通无阻

请遵守相关知识产权规定，勿将文件分享给他人，仅可用于个人研究学习

我的文献求助列表浏览历史

一分钟了解求助规则 | 捐赠本站 | 历史今天

更新

2024年影响因子查询已上线 (2024-6-20)

更新

大幅提高文件上传限制，最高150M (2024-4-1)

科研通是完全免费的文献互助平台，具备全网最快的应助速度，最高的求助完成率。对每一个文献求助，科研通都将尽心尽力，给求助人一个满意的交代。

实时播报: 英姑的应助被Aurora采纳，获得10

刚刚; purplemoon完成签到，获得积分10

刚刚; 优美的背包发布了新的文献求助10

2秒前; Joy发布了新的文献求助10

3秒前; 李健的粉丝团团长的应助被real采纳，获得10

3秒前; 慕青的应助被yaojiayoua采纳，获得10

3秒前; 森气发布了新的文献求助10

3秒前; 阿司匹林发布了新的文献求助10

4秒前; dd完成签到，获得积分10

5秒前; 蕾蕾完成签到，获得积分10

6秒前; 茗lin完成签到，获得积分10

6秒前; caicaikan完成签到，获得积分10

6秒前; einspringen发布了新的文献求助10

6秒前; 英姑上传了应助文件

8秒前; 红绿蓝完成签到，获得积分10

8秒前; 美满广缘完成签到，获得积分20

8秒前; SciGPT的应助被Minerva采纳，获得10

8秒前; 森气完成签到，获得积分10

9秒前; Chiron完成签到，获得积分10

11秒前; 大个上传了应助文件

11秒前; 可爱的函函上传了应助文件

13秒前; Orange的应助被七宝大当家采纳，获得10

14秒前; nimo发布了新的文献求助10

14秒前; 传奇3的应助被美满广缘采纳，获得10

14秒前; cty666发布了新的文献求助30

15秒前; 慕青上传了应助文件

15秒前; 钟钟钟发布了新的文献求助10

15秒前; Owen的应助被einspringen采纳，获得10

15秒前; 烟花的应助被小月亮采纳，获得10

16秒前; caster1完成签到，获得积分10

16秒前; 斯文败类上传了应助文件

18秒前; yaojiayoua发布了新的文献求助10

18秒前; 大白发布了新的文献求助10

20秒前; pass关闭了pass的文献求助

21秒前; 科研通AI2.0上传了应助文件

22秒前; bkagyin的应助被优美的背包采纳，获得10

22秒前; 温暖的蚂蚁完成签到，获得积分10

23秒前; 五十发布了新的文献求助10

24秒前; 科研通AI2.0上传了应助文件

24秒前; 善学以致用的应助被快去睡觉采纳，获得10

25秒前