Search Results - "DANGL, MATTHIAS"

  • Showing 1 - 1 results of 1
Refine Results
  1. 1

    Verification Witnesses.

    Authors: BEYER, DIRK DANGL, MATTHIAS DIETSCH, DANIEL et al.

    Source: ACM Transactions on Software Engineering & Methodology; Oct2022, Vol. 31 Issue 4, p1-69, 69p

    PDF Full Text
    Save to List

Search Tools: