Search Results - "DANGL, MATTHIAS"

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

    This result is not displayed to guests.

    Save to List
  2. 2

    Die strategische Rolle der API: Umsetzung des Servicegedankens.

    Authors: Dangl, Matthias matthias.dangl@ars.de

    Source: IT Spektrum. 2024, Issue 4, p44-48. 5p.

    PDF Full Text
    Save to List
  3. 3

    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
  4. 4

    A Unifying View on SMT-Based Software Verification.

    Authors: Beyer, Dirk Dangl, Matthias Wendler, Philipp

    Source: Journal of Automated Reasoning. Mar2018, Vol. 60 Issue 3, p299-335. 37p.

    Save to List
  5. 5

    Correction to: A Unifying View on SMT-Based Software Verification.

    Authors: Beyer, Dirk Dangl, Matthias Wendler, Philipp

    Source: Journal of Automated Reasoning. Mar2021, Vol. 65 Issue 3, p461-461. 1p.

    Subjects: Computer software, Open access publishing

    Save to List

Search Tools: