Showing 1 - 1 results of 1 for search 'Simin CHEN, Lifei WEI, Wei SONG', query time: 0.02s Refine Results
  1. 1
    State-of-the-art survey of smart contract verification based on formal methods

    State-of-the-art survey of smart contract verification based on formal methods by Wenbo ZHANG, Simin CHEN, Lifei WEI, Wei SONG, Dongmei HUANG

    Published 2022-08-01
    Get full text
    Article

Search Tools: