Xufeng Zhao 0003 Qiuyang Wei Xue-Yang Zhu Wenhui Zhang A Smart Contract Development Framework for Maritime Transportation Systems. 310-319 2023 QRS Companion https://doi.org/10.1109/QRS-C60940.2023.00091 conf/qrs/2023c db/conf/qrs/qrs2023c.html#ZhaoWZZ23