TY  - RPRT
TI  - Finding smart contract vulnerabilities with ConCert's property-based testing framework
AU  - Mikkel Milo
AU  - Eske Hoy Nielsen
AU  - Danil Annenkov
AU  - Bas Spitters
PY  - 2022
DO  - 10.4230/oasics.fmbc.2022.2
UR  - https://arxiv.org/abs/2208.00758
ID  - 2208.00758
ER  -