Research output: Contribution to conference › Conference abstract for conference › Research › peer-review
Accepted manuscript
Original language | English |
---|---|
Publication year | 20 Jul 2020 |
Publication status | Published - 20 Jul 2020 |
Event | 2nd Workshop on Formal Methods for Blockchains - Duration: 20 Jul 2020 → 21 Jul 2020 https://fmbc.gitlab.io/2020/ |
Workshop | 2nd Workshop on Formal Methods for Blockchains |
---|---|
Period | 20/07/2020 → 21/07/2020 |
Internet address |
See relations at Aarhus University Citationformats
ID: 193933830