TY  - RPRT
TI  - Slither: A Static Analysis Framework For Smart Contracts
AU  - Josselin Feist
AU  - Gustavo Grieco
AU  - Alex Groce
PY  - 2019
DO  - 10.1109/wetseb.2019.00008
UR  - https://arxiv.org/abs/1908.09878
ID  - 1908.09878
ER  -