Showing 1 - 2 results of 2 for search 'Shaohui Xu', query time: 0.03s
Refine Results
-
1
Automatic construction and verification algorithm for smart contracts based on formal verification by Rui Xie, Xuejiao Zhong, Xin Chen, Shaohui Xu, Haiyang Yu, Xinyuan Guo
Published 2024-11-01
Article -
2