Login / Signup

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

Fahad F. AlhabardiAnton Setzer
Published in: ICBTA (2023)
Keyphrases