@misc{indiciaec137f7f27ce3,
  title = {Reactive Synthesis of Smart Contract Control Flows},
  author = {Bernd Finkbeiner and Jana Hofmann and Florian Kohn and Noemi Passing},
  year = {2023},
  url = {https://arxiv.org/abs/2205.06039},
  note = {Source identifier: 2205.06039}
}