상세 보기
VeriSmart: A Highly Precise Safety Verifier for Ethereum Smart Contracts
VeriSmart: A Highly Precise Safety Verifier for Ethereum Smart Contracts
- 제목
- VeriSmart: A Highly Precise Safety Verifier for Ethereum Smart Contracts
- 제목 (타언어)
- VeriSmart: A Highly Precise Safety Verifier for Ethereum Smart Contracts
- 저자
- Heejo Lee
- 발행일
- 2020-05-18
- 학회명
- IEEE Symposium on Security and Privacy
- 개최국가
- 미국
- 학회 개최일
- 2020-05-16 ~ 2020-05-18