Formal Verification of Smart Contracts Based on Users and Blockchain Behaviors Models
Pages: 1 - 5
Published: Feb 1, 2018
Paper Details
Title
Formal Verification of Smart Contracts Based on Users and Blockchain Behaviors Models
Published Date
Feb 1, 2018
Pages
1 - 5
Notes
History