All Stories

  1. Formal Verification of Smart Contract Based on Timed Colored Petri Net

    Article • December 2022, ACM (Association for Computing Machinery)

    huaigaung wu