Phantm: PHP analyzer for type mismatch

Etienne Kneuss, Philippe Suter, Viktor Kuncak. Phantm: PHP analyzer for type mismatch. In Gruia-Catalin Roman, Kevin J. Sullivan, editors, Proceedings of the 18th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2010, Santa Fe, NM, USA, November 7-11, 2010. pages 373-374, ACM, 2010. [doi]

@inproceedings{KneussSK10-0,
  title = {Phantm: PHP analyzer for type mismatch},
  author = {Etienne Kneuss and Philippe Suter and Viktor Kuncak},
  year = {2010},
  doi = {10.1145/1882291.1882355},
  url = {http://doi.acm.org/10.1145/1882291.1882355},
  researchr = {https://researchr.org/publication/KneussSK10-0},
  cites = {0},
  citedby = {0},
  pages = {373-374},
  booktitle = {Proceedings of the 18th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2010, Santa Fe, NM, USA, November 7-11, 2010},
  editor = {Gruia-Catalin Roman and Kevin J. Sullivan},
  publisher = {ACM},
  isbn = {978-1-60558-791-2},
}