Siqi Lu, Haopeng Fan, Yongjuan Wang, Huizhe Mi, Ling Qin. Manual Audit for BitUnits Contracts. In Zibin Zheng, Hong-Ning Dai, Mingdong Tang, Xiangping Chen, editors, Blockchain and Trustworthy Systems - First International Conference, BlockSys 2019, Guangzhou, China, December 7-8, 2019, Proceedings. Volume 1156 of Communications in Computer and Information Science, pages 476-482, Springer, 2019. [doi]
@inproceedings{LuFWMQ19,
title = {Manual Audit for BitUnits Contracts},
author = {Siqi Lu and Haopeng Fan and Yongjuan Wang and Huizhe Mi and Ling Qin},
year = {2019},
doi = {10.1007/978-981-15-2777-7_38},
url = {https://doi.org/10.1007/978-981-15-2777-7_38},
researchr = {https://researchr.org/publication/LuFWMQ19},
cites = {0},
citedby = {0},
pages = {476-482},
booktitle = {Blockchain and Trustworthy Systems - First International Conference, BlockSys 2019, Guangzhou, China, December 7-8, 2019, Proceedings},
editor = {Zibin Zheng and Hong-Ning Dai and Mingdong Tang and Xiangping Chen},
volume = {1156},
series = {Communications in Computer and Information Science},
publisher = {Springer},
isbn = {978-981-15-2777-7},
}