TY  - RPRT
TI  - Annotary: A Concolic Execution System for Developing Secure Smart Contracts
AU  - Konrad Weiss
AU  - Julian Schütte
PY  - 2019
UR  - https://arxiv.org/abs/1907.03868
ID  - 1907.03868
ER  -