TY  - RPRT
TI  - Survey on Quality Assurance of Smart Contracts
AU  - Zhiyuan Wei
AU  - Jing Sun
AU  - Zijian Zhang
AU  - Xianhao Zhang
AU  - Xiaoxuan Yang
AU  - Liehuang Zhu
PY  - 2024
UR  - https://arxiv.org/abs/2311.00270
ID  - 2311.00270
ER  -