Checking Smart Contracts With Structural Code Embedding

标题
Checking Smart Contracts With Structural Code Embedding
作者
关键词
-
出版物
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING
Volume 47, Issue 12, Pages 2874-2891
出版商
Institute of Electrical and Electronics Engineers (IEEE)
发表日期
2020-02-04
DOI
10.1109/tse.2020.2971482

向作者/读者发起求助以获取更多资源

Discover Peeref hubs

Discuss science. Find collaborators. Network.

Join a conversation

Ask a Question. Answer a Question.

Quickly pose questions to the entire community. Debate answers and get clarity on the most important issues facing researchers.

Get Started