Papers1 provider Ā· 1 record
February 13, 2020Ā· PROGRAMMNAYA INGENERIA
article

Systematic Review of Automatic Verification of Smart-Contracts

Authors:Ivan FedotovAnton Khritankov

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.