PrettiSmart: Visual Interpretation of Smart Contracts via SimulationXiaolin Wen, Yong Wang, Lun Zhang et al.|arXiv (Cornell University)|2024Cited by 0