@Inproceedings{EPTCS278.4,
  author    = {De Angelis, Emanuele and Fioravanti, Fabio and Palacios, Adri\'an and Pettorossi, Alberto and Proietti, Maurizio},
  year      = {2018},
  title     = {Bounded Symbolic Execution for Runtime Error Detection of Erlang Programs},
  editor    = {Kahsai, Temesghen and Vidal, German},
  booktitle = {{\rm Proceedings 5th Workshop on}
               Horn Clauses for Verification and Synthesis,
               {\rm Oxford, UK, 13th July 2018}},
  series    = {Electronic Proceedings in Theoretical Computer Science},
  volume    = {278},
  publisher = {Open Publishing Association},
  pages     = {19-26},
  doi       = {10.4204/EPTCS.278.4},
}