ConCert: a smart contract certification framework in Coq - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Danil Annenkov, Jakob Botsch Nielsen, Bas Spitters. ConCert: a smart contract certification framework in Coq. In Jasmin Blanchette, Catalin Hritcu, editors, Proceedings of the 9th ACM SIGPLAN International Conference on Certified Programs and Proofs, CPP 2020, New Orleans, LA, USA, January 20-21, 2020. pages 215-228, ACM, 2020. [doi]

This author has not been identified. Look up 'Danil Annenkov' in GoogleThis author has not been identified. Look up 'Jakob Botsch Nielsen' in GoogleThis author has not been identified. Look up 'Bas Spitters' in Google

runs on WebDSL