@phdthesis{MianSyed2004, author = {Ahmed Mian Syed}, title = {Eine {\"o}konomische statische Analysemethode zur Berechnung von Relational Attributes mittels regul{\"a}rer Pfadbedingungen und ihre Anwendung auf Zeigeranalyse}, school = {Universit{\"a}t Passau}, year = {2004}, }