@misc{indiciaeaa694f8108f8,
  title = {Developing a Compiler for EROP -- A Language for the Specification of Smart Contracts, An Experience Report},
  author = {Adrian Delchev and Ioannis Sfyrakis and Ellis Solaiman},
  year = {2023},
  url = {https://arxiv.org/abs/2303.01595},
  note = {Source identifier: 2303.01595}
}