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