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
求助人	andngf 在 2024-11-17 15:03:55 发布自内蒙古，悬赏 10 积分
下载	求助已完成，仅限求助人下载。
	温馨提示：该文献已被科研通学术中心收录，前往查看科研通『学术中心』是文献索引库，收集文献的基本信息（如标题、摘要、期刊、作者、被引量等），不提供下载功能。如需下载文献全文，请通过文献求助获取。

上个求助

下个求助

该求助已完结，感谢关注

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

科研通，让源源不断科研创作灵感的涌现之地

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

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

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

更新

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

更新

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

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

实时播报: 威武的橘子发布了新的文献求助10

刚刚; 科研通AI2S上传了应助文件

1秒前; 希望天下0贩的0上传了应助文件

2秒前; 今后的应助被冰山未闯采纳，获得10

3秒前; 扳手已就位发布了新的文献求助10

4秒前; wink驳回了杳鸢的应助

4秒前; star发布了新的文献求助10

5秒前; 李健的应助被随风飘扬采纳，获得10

7秒前; 俏皮的豌豆发布了新的文献求助10

8秒前; 科研通AI2S的应助被luca采纳，获得10

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

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

9秒前; 田様的应助被21采纳，获得10

11秒前; Orange的应助被zhenggggg采纳，获得10

12秒前; zty发布了新的文献求助10

13秒前; 不配.的应助被忧心的飞雪采纳，获得10

13秒前; Kuhn_W完成签到，获得积分10

13秒前; 兔子云完成签到，获得积分10

14秒前; 隋阳完成签到，获得积分10

17秒前; 所所的应助被柔之采纳，获得10

17秒前; 科研通AI2S上传了应助文件

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

19秒前; 顾矜上传了应助文件

20秒前; fang完成签到，获得积分10

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

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

25秒前; Hello的应助被qingzhou采纳，获得10

26秒前; 善学以致用上传了应助文件

28秒前; CodeCraft的应助被li采纳，获得10

28秒前; 留胡子的垣完成签到，获得积分10

29秒前; 互助遵法尚德的应助被勤恳的水桃采纳，获得10

29秒前; 研友_nV2pkn发布了新的文献求助10

29秒前; ding上传了应助文件

30秒前; 完美世界的应助被俏皮的豌豆采纳，获得10

32秒前; Hello上传了应助文件

32秒前; KMGTmunp发布了新的文献求助10

33秒前; 扳手已就位发布了新的文献求助10

34秒前; 彭于晏的应助被留胡子的垣采纳，获得10

34秒前; 忧虑的谷菱完成签到，获得积分10

34秒前; 哎呦发布了新的文献求助10

36秒前