An Idealist's Approach for Smart Contract Correctness.

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

Browse the full ICFEM paper archive.