Browsing by Author "Heizmann, Matthias"
Now showing items 1-2 of 2
-
Exchanging Verification Witnesses between Verifiers
Beyer, Dirk; Dangl, Matthias; Dietsch, Daniel; Heizmann, Matthias
93 -
Verification Witnesses
Beyer, Dirk; Dangl, Matthias; Dietsch, Daniel; Heizmann, Matthias; Stahlbauer, Andreas
105-106