Login / Signup
Verified Development and Deployment of Multiple Interacting Smart Contracts with VeriSolid.
Keerthi Nelaturu
Anastasia Mavridou
Andreas G. Veneris
Aron Laszka
Published in:
IEEE ICBC (2020)
Keyphrases
</>
development process
development environment
software engineering
real time
database systems
software development
information processing
real world
social networks
metadata
multiscale
supply chain
st century
rapid prototyping