Smart Contract Engineering[J] ELECTRONICS 2020(9) Hu, Kai Zhu, Jian Ding, Yi Bai, Xiaomin Huang, Jiehua
Formal Modelling of PBFT Consensus Algorithm in Event-B[J] WIRELESS COMMUNICATIONS & MOBILE COMPUTING 2022(2022) Li, Jie Hu, Kai Zhu, Jian Bodeveix, Jean-Paul Ye, Yafei
