@incollection{GawlitzaS12,
  author = {Thomas Martin Gawlitza and Helmut Seidl},
  title = {Precise {P}rogram {A}nalysis through {S}trategy {I}teration and {O}ptimization},
  booktitle = {Software Safety and Security - Tools for Analysis and Verification},
  editor = {Tobias Nipkow and Orna Grumberg and Benedikt Hauptmann},
  year = 2012,
  pages = {348--384},
  series = {NATO Science for Peace and Security Series - D: Information and Communication Security},
  volume = {33},
  publisher = {IOS Press},
  doi = {10.3233/978-1-61499-028-4-348},
}