TY  - RPRT
TI  - Runtime verification in Erlang by using contracts
AU  - Lars-Åke Fredlund
AU  - Julio Mariño
AU  - Sergio Pérez
AU  - Salvador Tamarit
PY  - 2019
UR  - https://arxiv.org/abs/1808.07937
ID  - 1808.07937
ER  -