Template-Based Smart Contract Verification: A Case Study on Maritime Transportation Domain.

Xufeng Zhao, Qiuyang Wei, Xue-Yang Zhu, Wenhui Zhang

Browse the full ICECCS paper archive.