Showing 1 - 1 results of 1 for search '"program verification"', query time: 0.03s 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
    Subjects:
    Get full text
    Article
    Save to List
    Saved in:

Search Tools: