C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Functional Verification of Smart Contracts via Strong Data Integrity.
Wolfgang Ahrendt
Richard Bubel
Published in:
ISoLA (3) (2020)
Keyphrases
</>
data integrity
functional verification
database design
distributed databases
data storage
database systems
database
client server
databases
formal verification
active databases
database administrators
hardware software
case study
query processing
database management