Smart Contracts: Application Scenarios for Deductive Program Verification
Chapter
Overview
publication date
- January 1, 2020
has subject area
published in
Identity
Digital Object Identifier (DOI)
Additional Document Info
start page
- 293
end page
- 298