@techreport{TUM-I1340,
  author = {M\'at\'e Kov\'acs},
  title = {Relational {A}bstract {I}nterpretation for the {V}erification of 2-{H}ypersafety {P}roperties ({P}roofs)},
  year = 2013,
  number = {TUM-I1340},
}