@inproceedings{KovacsCCS13,
  author = {M\'at\'e Kov\'acs and Helmut Seidl and Bernd Finkbeiner},
  title = {Relational {A}bstract {I}nterpretation for the {V}erification of 2-{H}ypersafety {P}roperties},
  booktitle = {Proceedings of the 20th ACM conference on Computer and Communications Security (CCS 2013)},
  month = {November},
  year = 2013,
}