@InProceedings{ mantel.sudbrock:types:b, author = {Heiko Mantel and Henning Sudbrock}, title = {Types vs. PDGs in Information Flow Analysis}, booktitle = {Post-Proceedings of the 22nd International Symposium on Logic Based Program Synthesis and Transformation (LOPSTR 2012)}, publisher = {Springer}, year = 2013, series = {LNCS 7844}, pages = {106--121}, pdf = {https://www.mais.informatik.tu-darmstadt.de/WebBib/papers/2013/LOPSTR2012-MantelSudbrock.pdf} }