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