August 16, 2019· Electronic Proceedings in Theoretical Computer Science
article
Open access
Modelling and Verifying Bitcoin Contracts (Invited Talk)
Authors:Massimo Bartoletti *
Abstract
No abstract metadata is available for this record.
Community
0 commentsUse Connect Wallet in the navigation
No discussion yet
Be the first to share a question or observation.