Translation certification for smart contracts.

Jacco O. G. Krijnen Manuel M. T. Chakravarty Gabriele Keller Wouter Swierstra

Published in: Sci. Comput. Program. (2024)

Keyphrases

third party
machine translation
real time
databases
neural network
data mining
smart spaces
ubiquitous environments