Dirk Beyer 0001, Matthias Dangl, Daniel Dietsch, Matthias Heizmann. Exchanging Verification Witnesses between Verifiers. In Jan Jürjens, Kurt Schneider, editors, Software Engineering 2017, Fachtagung des GI-Fachbereichs Softwaretechnik, 21.-24. Februar 2017, Hannover, Deutschland. Volume P-267 of LNI, pages 93-94, GI, 2017.
Abstract is missing.