TY  - RPRT
TI  - Verification of a Smart Contract for a Simple Casino
AU  - Mark Utting
AU  - Liam Kent
PY  - 2021
UR  - https://arxiv.org/abs/2106.14457
ID  - 2106.14457
ER  -