Search Results - Schmitt, P. H. 1948- Peter H.

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

    Verification of object-oriented software the KeY approach

    Published 2007
    Other Authors:
    Click Here to View Status and Holdings.
    Book

    Save to List
    Saved in:
  2. 2
    Nonmonotonic and inductive logic 1st international workshop, Karlsruhe, Germany, December 4-7, 1990, proceedings

    Nonmonotonic and inductive logic 1st international workshop, Karlsruhe, Germany, December 4-7, 1990, proceedings

    Published 1991
    Other Authors:
    Click Here to View Status and Holdings.
    Book

    Save to List
    Saved in:

Search Tools: