Papers1 provider Ā· 1 record
January 1, 2015Ā· Lecture notes in computer science
conference-paper
Open access

Validation of Decentralised Smart Contracts Through Game Theory and Formal Methods

Abstract

No abstract metadata is available for this record.

Community

0 comments
Use Connect Wallet in the navigation

No discussion yet

Be the first to share a question or observation.