BibTeX record journals/corr/abs-1809-04770

• > Home > journals/corr/abs-1809-04770

@inproceedings{DBLP:journals/corr/abs-1809-04770,
  author       = {Emanuele {De Angelis} and
                  Fabio Fioravanti and
                  Adri{\'{a}}n Palacios and
                  Alberto Pettorossi and
                  Maurizio Proietti},
  editor       = {Temesghen Kahsai and
                  Germ{\'{a}}n Vidal},
  title        = {Bounded Symbolic Execution for Runtime Error Detection of Erlang Programs},
  booktitle    = {Proceedings 5th Workshop on Horn Clauses for Verification and Synthesis,
                  {HCVS} 2018, Oxford, UK, 13th July 2018},
  series       = {{EPTCS}},
  volume       = {278},
  pages        = {19--26},
  year         = {2018},
  url          = {https://doi.org/10.4204/EPTCS.278.4},
  doi          = {10.4204/EPTCS.278.4},
  timestamp    = {Tue, 21 Mar 2023 21:04:58 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1809-04770.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}