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.
@inproceedings{0001DDH17,
title = {Exchanging Verification Witnesses between Verifiers},
author = {Dirk Beyer 0001 and Matthias Dangl and Daniel Dietsch and Matthias Heizmann},
year = {2017},
researchr = {https://researchr.org/publication/0001DDH17},
cites = {0},
citedby = {0},
pages = {93-94},
booktitle = {Software Engineering 2017, Fachtagung des GI-Fachbereichs Softwaretechnik, 21.-24. Februar 2017, Hannover, Deutschland},
editor = {Jan Jürjens and Kurt Schneider},
volume = {P-267},
series = {LNI},
publisher = {GI},
isbn = {978-3-88579-661-9},
}