A Formally Verified Static Analysis Framework for Compositional Contracts

Publikation: Konferencebidrag › Paper › Forskning › fagfællebedømt

Dokumenter

  • Conf2020

    Accepteret manuskript, 599 KB, PDF-dokument

OriginalsprogEngelsk
Publikationsdato2020
Antal sider18
DOI
StatusUdgivet - 2020
Begivenhed4th Workshop on Trusted Smart Contracts - Kota Kinabalu, Sabah, Malaysia
Varighed: 14 feb. 2020 → …

Konference

Konference4th Workshop on Trusted Smart Contracts
LandMalaysia
ByKota Kinabalu, Sabah
Periode14/02/2020 → …

Antal downloads er baseret på statistik fra Google Scholar og www.ku.dk


Ingen data tilgængelig

ID: 239958955