A Formally Verified Static Analysis Framework for Compositional Contracts
Research output: Contribution to conference › Paper › Research › peer-review
Documents
- Conf2020
Accepted author manuscript, 599 KB, PDF document
Original language | English |
---|---|
Publication date | 2020 |
Number of pages | 18 |
DOIs | |
Publication status | Published - 2020 |
Event | 4th Workshop on Trusted Smart Contracts - Kota Kinabalu, Sabah, Malaysia Duration: 14 Feb 2020 → … |
Conference
Conference | 4th Workshop on Trusted Smart Contracts |
---|---|
Country | Malaysia |
City | Kota Kinabalu, Sabah |
Period | 14/02/2020 → … |
Number of downloads are based on statistics from Google Scholar and www.ku.dk
No data available
ID: 239958955