A model of Solidity-style smart contracts in the theorem prover Agda
| Date first appeared online | 30/10/2023 |
| DOI | 10.1109/aibthings58340.2023.10292478 |
| Authors | Setzer A. |
| Journal Name | 2023 IEEE International Conference on Artificial Intelligence, Blockchain, and Internet of Things (AIBThings) |
| Volume |
Documents
- 64153.pdf , Book, Author accepted manuscript document released under the terms of a Creative Commons CC-BY licence using the Swansea University Research Publications Policy (rights retention).