Showing 1 - 3 results of 3 for search 'Shaohui Xu', query time: 0.01s
Refine Results
-
1
-
2
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-01Get full text
Article -
3