Login / Signup

Translation Certification for Smart Contracts.

Jacco O. G. KrijnenManuel M. T. ChakravartyGabriele KellerWouter 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