arrow
返回
R

Rujin Liang

chinese academy of sciences

2H指数
4论文数
54被引数
收录论文 2
发表时间
SmartFast: an accurate and robust formal analysis tool for Ethereum smart contracts
err2022-10-12
err11
PREAI
errLi, Zhaoxuan; Lu, Siqi; Zhang, Rui; Xue, Rui; Ma, Wenqiu; Liang, Rujin; Zhao, Ziming; Gao, Sheng
err分享
err收藏