A Formally Verified Static Analysis Framework for Compositional Contracts

Research output: Contribution to conferencePaperResearchpeer-review

Documents

  • Conf2020

    Accepted author manuscript, 599 KB, PDF document

Original languageEnglish
Publication date2020
Number of pages18
DOIs
Publication statusPublished - 2020
Event4th Workshop on Trusted Smart Contracts - Kota Kinabalu, Sabah, Malaysia
Duration: 14 Feb 2020 → …

Conference

Conference4th Workshop on Trusted Smart Contracts
CountryMalaysia
CityKota Kinabalu, Sabah
Period14/02/2020 → …

Number of downloads are based on statistics from Google Scholar and www.ku.dk


No data available

ID: 239958955