TY  - RPRT
TI  - Developing a Compiler for EROP -- A Language for the Specification of Smart Contracts, An Experience Report
AU  - Adrian Delchev
AU  - Ioannis Sfyrakis
AU  - Ellis Solaiman
PY  - 2023
UR  - https://arxiv.org/abs/2303.01595
ID  - 2303.01595
ER  -