How Formal Analysis And Verification Add Security To Blockchain-Based Systems

Shin'Ichiro Matsuo

Metadata

Year 2017
Peer Reviewed done
Venue Formal Methods in Computer Aided Design (FMCAD), 2017
mode_edit