|
Eine Ebene nach oben |
Gruppiert nach:
Dokumententyp
| Veröffentlichungsdatum
Springe zu: Zeitschriftenartikel | Konferenzbeitrag
Anzahl der Publikationen: 2
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
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