TY  - RPRT
TI  - Solidity 0.5: when typed does not mean type safe
AU  - Silvia Crafa
AU  - Matteo Di Pirro
PY  - 2019
UR  - https://arxiv.org/abs/1907.02952
ID  - 1907.02952
ER  -