ConCert: A Smart Contract Certification Framework in Coq

POPL 2020

ConCert: A Smart Contract Certification Framework in Coq

Sep 17, 2020
|
20 views
Details
Presenter: Danil Annenkov Presented at CPP'20, located at POPL 2020.

Comments
loading...