A simulator of Solidity-style smart contracts in the theorem prover Agda

Date first appeared online	29/05/2024
DOI	10.1145/3651655.3651656
Authors	Setzer A.
Journal Name	Proceedings of the 2023 6th International Conference on Blockchain Technology and Applications
Volume

Documents

• 64152.pdf , Book, © The Authors | ACM} {2023}. This is the author's accepted manuscript version of the work. It is posted here for your personal use. Not for redistribution.