View in EDS PDF Full Text

Verification Witnesses.

Saved in:
Bibliographic Details
Title: Verification Witnesses.
Authors: BEYER, DIRK1, beyer@sosy.ifi.lmu.de, DANGL, MATTHIAS1, dangl@sosy.ifi.lmu.de, DIETSCH, DANIEL2, dietsch@informatik.uni-freiburg.de, HEIZMANN, MATTHIAS2, heizmann@informatik.uni-freiburg.de, LEMBERGER, THOMAS3, lemberger@sosy.ifi.lmu.de, TAUTSCHNIG, MICHAEL3, michael.tautschnig@qmul.ac.uk
Source: ACM Transactions on Software Engineering & Methodology; Oct2022, Vol. 31 Issue 4, p1-69, 69p
Database: Applied Science & Technology Source
Description
ISSN:1049331X
DOI:10.1145/3477579