ConCert: A Smart Contract Certification Framework in Coq[C] CPP '20: PROCEEDINGS OF THE 9TH ACM SIGPLAN INTERNATIONAL CONFERENCE ON CERTIFIED PROGRAMS AND PROOFS 2020 Annenkov, Danil Nielsen, Jakob Botsch Spitters, Bas
