David Hauzar, Jan Kofron. Framework for Static Analysis of PHP Applications (Artifact). DARTS, 1(1), 2015. [doi]
@article{HauzarK15-0, title = {Framework for Static Analysis of PHP Applications (Artifact)}, author = {David Hauzar and Jan Kofron}, year = {2015}, url = {http://drops.dagstuhl.de/opus/volltexte/2015/5520}, researchr = {https://researchr.org/publication/HauzarK15-0}, cites = {0}, citedby = {0}, journal = {DARTS}, volume = {1}, number = {1}, }