Sign in

An Idealist's Approach for Smart Contract Correctness.

Tai D. NguyenLong H. PhamJun SunQuang Loc Le
Published in: ICFEM (2023)
Keyphrases
  • supply chain
  • real time
  • special case
  • smart grid
  • data mining
  • objective function
  • mobile robot
  • concurrent execution