Liangjun Deng, Hang Lei, Zheng Yang 0007, Weizhong Qian, Xiaoyu Li, Hao Wu, Sihao Deng, Ruchao Sha, Weidong Deng. Formal Verification Platform as a Service: WebAssembly Vulnerability Detection Application. Comput. Syst. Sci. Eng., 45(2):2155-2170, 2023. [doi]
@article{DengLYQLWDSD23,
title = {Formal Verification Platform as a Service: WebAssembly Vulnerability Detection Application},
author = {Liangjun Deng and Hang Lei and Zheng Yang 0007 and Weizhong Qian and Xiaoyu Li and Hao Wu and Sihao Deng and Ruchao Sha and Weidong Deng},
year = {2023},
doi = {10.32604/csse.2023.027680},
url = {https://doi.org/10.32604/csse.2023.027680},
researchr = {https://researchr.org/publication/DengLYQLWDSD23},
cites = {0},
citedby = {0},
journal = {Comput. Syst. Sci. Eng.},
volume = {45},
number = {2},
pages = {2155-2170},
}