• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

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