![[höher]](/style/images/multi_up.png)
Eine Ebene höherGruppiert nach:
Dokumententyp
| Veröffentlichungsdatum
Springe zu: Zeitschriftenartikel | Konferenzbeitrag
Anzahl der Publikationen: 3
Zeitschriftenartikel
Beyer, Dirk; Dangl, Matthias; Dietsch, Daniel; Heizmann, Matthias; Lemberger, Thomas und Tautschnig, Michael
(2022):
Verification Witnesses.
In: ACM Transactions on Software Engineering and Methodology, Bd. 31, Nr. 4, 57
Beyer, Dirk; Dangl, Matthias und Wendler, Philipp
(2018):
A Unifying View on SMT-Based Software Verification.
In: Journal of Automated Reasoning, Bd. 60, Nr. 3: S. 299-335
Konferenzbeitrag
Beyer, Dirk; Dangl, Matthias; Dietsch, Daniel und Heizmann, Matthias
(2016):
Correctness Witnesses: Exchanging Verification Results between Verifiers.
24th ACM SIGSOFT International Symposium on Foundations of Software Engineering FSE 2016, Seattle, WA, USA, November 13 - 18, 2016.
In: Proceedings of the 2016 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering,
New York: Association for Computing Machinery. S. 326-337