Detecting defects in Erlang programs using static analysis

Konstantinos F. Sagonas. Detecting defects in Erlang programs using static analysis. In Michael Leuschel, Andreas Podelski, editors, Proceedings of the 9th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, July 14-16, 2007, Wroclaw, Poland. pages 37, ACM, 2007. [doi]

@inproceedings{Sagonas07,
  title = {Detecting defects in Erlang programs using static analysis},
  author = {Konstantinos F. Sagonas},
  year = {2007},
  doi = {10.1145/1273920.1273926},
  url = {http://doi.acm.org/10.1145/1273920.1273926},
  tags = {program analysis, analysis, static analysis},
  researchr = {https://researchr.org/publication/Sagonas07},
  cites = {0},
  citedby = {0},
  pages = {37},
  booktitle = {Proceedings of the 9th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, July 14-16, 2007, Wroclaw, Poland},
  editor = {Michael Leuschel and Andreas Podelski},
  publisher = {ACM},
  isbn = {978-1-59593-769-8},
}