Search Results - Beckert, Bernhard

  • Showing 1 - 1 results of 1
Refine Results
  1. 1
    Verification of object-oriented software the KeY approach

    Verification of object-oriented software the KeY approach

    Published 2007
    Other Authors: “…Beckert, Bernhard…”
    Click Here to View Status and Holdings.
    Book

    Save to List
    Saved in:

Search Tools: