TY  - RPRT
TI  - VeriSmart: A Highly Precise Safety Verifier for Ethereum Smart Contracts
AU  - Sunbeom So
AU  - Myungho Lee
AU  - Jisu Park
AU  - Heejo Lee
AU  - Hakjoo Oh
PY  - 2019
UR  - https://arxiv.org/abs/1908.11227
ID  - 1908.11227
ER  -