A Modeling and Verification Framework for Ethereum Smart Contracts.

Simone Valentini Chiara Braghin Elvinia Riccobene

Published in: ABZ (2024)

Keyphrases

databases
theoretical framework
modeling framework
real world
information retrieval
image processing
website
electronic commerce
face verification
modeling method