@misc{indiciae45f7d60c51ac,
  title = {Harmonica: A Framework for Semi-automated Design and Implementation of Blockchain Applications},
  author = {Nicolas Six and Nicolas Herbaut and Camille Salinesi},
  year = {2022},
  doi = {10.1002/inst.12358},
  url = {https://arxiv.org/abs/2201.06275},
  note = {Source identifier: 2201.06275}
}