TY  - RPRT
TI  - SmartBugs: A Framework to Analyze Solidity Smart Contracts
AU  - João F. Ferreira
AU  - Pedro Cruz
AU  - Thomas Durieux
AU  - Rui Abreu
PY  - 2020
UR  - https://arxiv.org/abs/2007.04771
ID  - 2007.04771
ER  -