Statistics
Publications
3
Citations
71
H-Index
3
Active since
2020
Affiliations
Beihang University(Current)
Zhu Jian is an author at Beihang University specializing in computer science, formal specification of contracts, and contract design.
Publications per year
2020–2024
3
3
Kai Hu, Zhu Jian, Yi Ding et al. · Electronics · 2020 · 39 citations · Full text
Formal Simulation and Verification of Solidity contracts in Event-B
Zhu Jian, Kai Hu, Mamoun Filali et al. · 2021 · 11 citations
1–3 of 3