Quantitative analysis of smart contracts (Q2324004)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Quantitative analysis of smart contracts
scientific article

    Statements

    title
    Quantitative analysis of smart contracts (English)
    0 references
    author
    Krishnendu Chatterjee
    0 references
    Yaron Velner
    0 references
    publication date
    13 September 2019
    0 references
    zbMATH DE Number
    7104911
    0 references
    OpenAlex ID
    W2963125462
    0 references
    arXiv ID
    1801.03367
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q2324004&oldid=33500395"
    Powered by MediaWiki