An Idealist's Approach for Smart Contract Correctness.

Tai D. Nguyen Long H. Pham Jun Sun Quang Loc Le

Published in: ICFEM (2023)

Keyphrases

supply chain
real time
special case
smart grid
data mining
objective function
mobile robot
concurrent execution