%0 Conference Paper %1 conf/se/0001DDH17 %A Beyer, Dirk %A Dangl, Matthias %A Dietsch, Daniel %A Heizmann, Matthias %B Software Engineering %D 2017 %E Jürjens, Jan %E Schneider, Kurt %I GI %K dblp %P 93-94 %T Exchanging Verification Witnesses between Verifiers. %U http://dblp.uni-trier.de/db/conf/se/se2017.html#0001DDH17 %V P-267 %@ 978-3-88579-661-9

@inproceedings{conf/se/0001DDH17, added-at = {2023-07-04T00:00:00.000+0200}, author = {Beyer, Dirk and Dangl, Matthias and Dietsch, Daniel and Heizmann, Matthias}, biburl = {https://www.bibsonomy.org/bibtex/2013a9332f5a7eb1efb0a53e59ef89717/dblp}, booktitle = {Software Engineering}, crossref = {conf/se/2017}, editor = {Jürjens, Jan and Schneider, Kurt}, ee = {https://dl.gi.de/handle/20.500.12116/1288}, interhash = {61e0e6031f0cc8eb2ed7206b59ac3bae}, intrahash = {013a9332f5a7eb1efb0a53e59ef89717}, isbn = {978-3-88579-661-9}, keywords = {dblp}, pages = {93-94}, publisher = {GI}, series = {LNI}, timestamp = {2024-04-09T13:03:08.000+0200}, title = {Exchanging Verification Witnesses between Verifiers.}, url = {http://dblp.uni-trier.de/db/conf/se/se2017.html#0001DDH17}, volume = {P-267}, year = 2017 }