Paper
Paper
Search...
Search ResearchHub...
Ctrl+K
New
Home
Browse
Earn
Fund
RH Journal
Notebook
Lists
Leaderboard
RSC
USD
Changelog
Terms
Privacy
Issues
Docs
Support
Foundation
About
Towards verifying ethereum smart contract bytecode in Isa... | ResearchHub
Paper
Paper
Search...
Search ResearchHub...
Ctrl+K
New
Home
Browse
Earn
Fund
RH Journal
Notebook
Lists
Leaderboard
RSC
USD
Changelog
Terms
Privacy
Issues
Docs
Support
Foundation
About
Towards verifying ethereum smart contract bytecode in Isabelle/HOL
0
Authors
Sidney Amani
3 more
Sidney Amani
•
Myriam Bégel
1 more
•
Mark Staples
Published
January 8, 2018
Paper
Conversation
0
Reviews
0
Bounties
0
Sign in to comment
Add a comment...
Best
Supporters
Support the authors with ResearchCoin
Tip RSC
Topics
Computer Science
Artificial Intelligence
Information Systems
Computer Networks And Communications
Code (Set Theory)
Show all topics
DOI
10.1145/3167084
