@inproceedings{plas2012spl,
  author = 	 {Eric Bodden},
  title = 	 {{Position Paper}: {S}tatic Flow-Sensitive \& Context-Sensitive Information-flow Analysis for Software Product Lines},
  booktitle = {ACM SIGPLAN Seventh Workshop on Programming Languages and Analysis for Security (PLAS 2012)},
  month = 	 jun,
  year = 	 2012,
  url = {https://www.bodden.de/pubs/bodden12static.pdf},
  doi = {10.1145/2336717.2336723},
  pages = {6:1--6:6},
	annote = {an VGWort gemeldet},
}