%0 Conference Paper %1 conf/sigsoft/0001DDH16 %A Beyer, Dirk %A Dangl, Matthias %A Dietsch, Daniel %A Heizmann, Matthias %B SIGSOFT FSE %D 2016 %E Zimmermann, Thomas %E Cleland-Huang, Jane %E Su, Zhendong %I ACM %K dblp %P 326-337 %T Correctness witnesses: exchanging verification results between verifiers. %U http://dblp.uni-trier.de/db/conf/sigsoft/fse2016.html#0001DDH16 %@ 978-1-4503-4218-6

@inproceedings{conf/sigsoft/0001DDH16, added-at = {2020-03-27T00:00:00.000+0100}, author = {Beyer, Dirk and Dangl, Matthias and Dietsch, Daniel and Heizmann, Matthias}, biburl = {https://www.bibsonomy.org/bibtex/2ef4546eb455aed730f2a2b767f33ac0d/dblp}, booktitle = {SIGSOFT FSE}, crossref = {conf/sigsoft/2016}, editor = {Zimmermann, Thomas and Cleland-Huang, Jane and Su, Zhendong}, ee = {https://doi.org/10.1145/2950290.2950351}, interhash = {4910d669c7f9d1313091323628f13871}, intrahash = {ef4546eb455aed730f2a2b767f33ac0d}, isbn = {978-1-4503-4218-6}, keywords = {dblp}, pages = {326-337}, publisher = {ACM}, timestamp = {2024-04-09T17:53:33.000+0200}, title = {Correctness witnesses: exchanging verification results between verifiers.}, url = {http://dblp.uni-trier.de/db/conf/sigsoft/fse2016.html#0001DDH16}, year = 2016 }