ConCert: A Smart Contract Certification Framework in Coq

POPL 2020