Detailed Information
Cited 0 time in 
Cited 0 time in 
Cited 0 time in
Metadata Downloads
VeriSmart: A Highly Precise Safety Verifier for Ethereum Smart Contracts영어
- Alternative Title
- 영어
- Authors
- Hakjoo Oh
- Issue Date
- 20-5월-2020
- Publisher
- IEEE
- Citation
- S&P 2020: 41st IEEE Symposium on Security and Privacy
- Conference Name
- S&P 2020: 41st IEEE Symposium on Security and Privacy
- Place
- US
- Conference Date
- 2020-05-18
- Files in This Item
- There are no files associated with this item.
Items in ScholarWorks are protected by copyright, with all rights reserved, unless otherwise indicated.