Dirk Beyer, Matthias Dangl, Daniel Dietsch, Matthias Heizmann
Correctness witnesses: exchanging verification results between verifiers
FSE, 2016.
@inproceedings{FSE-2016-BeyerDDH, author = "Dirk Beyer and Matthias Dangl and Daniel Dietsch and Matthias Heizmann", booktitle = "{Proceedings of the 24th International Symposium on Foundations of Software Engineering}", doi = "10.1145/2950290.2950351", isbn = "978-1-4503-4218-6", pages = "326--337", publisher = "{ACM}", title = "{Correctness witnesses: exchanging verification results between verifiers}", year = 2016, }