@misc{indiciaea7b62fa3f2a8,
  title = {A Proof Assistant Based Formalisation of Core Erlang},
  author = {Péter Bereczky and Dániel Horpácsi and Simon Thompson},
  year = {2020},
  doi = {10.1007/978-3-030-57761-2\_7},
  url = {https://arxiv.org/abs/2005.11821},
  note = {Source identifier: 2005.11821}
}