共 15 条
[5]
Jingtao D, 2018, OPT EXPRESS, V26, P12291
[7]
Formalizing Correct-by-Construction Casper in Coq
[J].
2020 IEEE INTERNATIONAL CONFERENCE ON BLOCKCHAIN AND CRYPTOCURRENCY (IEEE ICBC),
2020,