TY  - RPRT
TI  - Formal and Executable Semantics of the Ethereum Virtual Machine in Dafny
AU  - Franck Cassez
AU  - Joanne Fuller
AU  - Milad K. Ghale
AU  - David J. Pearce
AU  - Horacio M. A. Quiles
PY  - 2023
UR  - https://arxiv.org/abs/2303.00152
ID  - 2303.00152
ER  -