@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}, }