Login / Signup
Translation Certification for Smart Contracts.
Jacco O. G. Krijnen
Manuel M. T. Chakravarty
Gabriele Keller
Wouter Swierstra
Published in:
FLOPS (2022)
Keyphrases
</>
image sequences
third party
supply chain
ubiquitous environments
data sets
website
web services
ambient intelligence
machine translation
smart environments
smart grid
moral hazard
enabling technologies