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 作者：Xirui Wang; Senping Tian; Wei Cui 出版日期：2024-07-01
求助人	xtang7979 在 2024-10-30 21:43:30 发布自河北，悬赏 10 积分
下载	该求助完结已超 24 小时，文件已从服务器自动删除，无法下载。
	温馨提示：该文献已被科研通学术中心收录，前往查看科研通『学术中心』是文献索引库，收集文献的基本信息（如标题、摘要、期刊、作者、被引量等），不提供下载功能。如需下载文献全文，请通过文献求助获取。

上个求助

下个求助

该求助已完结，感谢关注

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

不忘初心，牢记使命，为科研工作者服务

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

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

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

更新

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

更新

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

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

实时播报: Ava上传了应助文件

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

1秒前; 小蘑菇上传了应助文件

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

2秒前; 奋斗大葡萄完成签到，获得积分10

3秒前; 所所上传了应助文件

5秒前; 姜姜发布了新的文献求助10

7秒前; kyfw发布了新的文献求助10

7秒前; 李健的应助被俊逸的翅膀采纳，获得10

9秒前; 在水一方上传了应助文件

9秒前; 花花发布了新的文献求助10

11秒前; 领导范儿上传了应助文件

12秒前; nhb0912完成签到，获得积分10

13秒前; 321发布了新的文献求助10

15秒前; franca2005完成签到，获得积分10

16秒前; 章鱼发布了新的文献求助10

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

17秒前; kongchanjie完成签到，获得积分10

19秒前; 李健上传了应助文件

21秒前; Ava上传了应助文件

21秒前; 魔幻的凝芙关注了科研通微信公众号

22秒前; 欣慰的笑阳完成签到，获得积分10

22秒前; Fung发布了新的文献求助10

25秒前; Dream完成签到，获得积分20

26秒前; 花花完成签到，获得积分10

26秒前; 俊逸的翅膀发布了新的文献求助10

28秒前; lunhui6453完成签到，获得积分10

29秒前; 林云夕完成签到，获得积分10

29秒前; 哈哈关闭了哈哈的文献求助

29秒前; SciGPT的应助被高兴的万宝路采纳，获得10

29秒前; 8R60d8上传了应助文件

32秒前; 高兴的香薇发布了新的文献求助10

32秒前; 英姑的应助被谨慎达采纳，获得10

33秒前; dingyanxia完成签到，获得积分20

34秒前; 努力看文献的大头发布了新的文献求助10

36秒前; 周末万岁发布了新的文献求助10

36秒前; SciGPT上传了应助文件

38秒前; Ava上传了应助文件

40秒前; orixero的应助被erhan7采纳，获得10

41秒前; 张泽禹的小可爱完成签到，获得积分10

41秒前