@misc{indiciaefd10ba3179a3,
  title = {Runtime verification in Erlang by using contracts},
  author = {Lars-Åke Fredlund and Julio Mariño and Sergio Pérez and Salvador Tamarit},
  year = {2019},
  url = {https://arxiv.org/abs/1808.07937},
  note = {Source identifier: 1808.07937}
}