Verification Witnesses

Dirk Beyer 0001, Matthias Dangl, Daniel Dietsch, Matthias Heizmann, Thomas Lemberger 0002, Michael Tautschnig. Verification Witnesses. ACM Transactions on Software Engineering Methodology, 31(4), 2022. [doi]

Abstract

Abstract is missing.