Verification Witnesses.
Saved in:
| 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 |
Be the first to leave a comment!
