RSETP: A Reliable Security Education and Training Platform Based on the Alliance Blockchain[J] ELECTRONICS 2023(12) Chen, Ran Wu, Xiaoming Liu, Xiangzhi
Helmholtz: A Verifier for Tezos Smart Contracts Based on Refinement Types[J] NEW GENERATION COMPUTING Nishida, Yuki Saito, Hiromasa Chen, Ran Kawata, Akira Furuse, Jun Suenaga, Kohei Igarashi, Atsushi
