TY  - RPRT
TI  - Formalising and verifying smart contracts with Solidifier: a bounded model checker for Solidity
AU  - Pedro Antonino
AU  - A. W. Roscoe
PY  - 2020
UR  - https://arxiv.org/abs/2002.02710
ID  - 2002.02710
ER  -