TY  - RPRT
TI  - Extracting Smart Contracts Tested and Verified in Coq
AU  - Danil Annenkov
AU  - Mikkel Milo
AU  - Jakob Botsch Nielsen
AU  - Bas Spitters
PY  - 2021
DO  - 10.1145/3437992.3439934
UR  - https://arxiv.org/abs/2012.09138
ID  - 2012.09138
ER  -