Search Results - Schmitt, P. H. (Peter H.), 1948-
-
1
Verification of object-oriented software the KeY approach /
Published 2007Other Authors: “…Schmitt, P. H. (Peter H.), 1948-…”
Full Text (via Springer)
Electronic eBook
-
2
Verification of object-oriented software the KeY approach /
Published 2007Other Authors: “…Schmitt, P. H. (Peter H.), 1948-…”
Electronic eBook -
3
Nonmonotonic and inductive logic second international workshop, Reinhardsbrunn Castle, Germany, December 2-6, 1991 : proceedings /
Published 1993Other Authors: “…Schmitt, P. H. (Peter H.), 1948-…”
Full Text (via Springer)
Electronic Conference Proceeding eBook -
4
Nonmonotonic and inductive logic : second international workshop, Reinhardsbrunn Castle, Germany, December 2-6, 1991 : proceedings /
Published 1993Other Authors: “…Schmitt, P. H. (Peter H.), 1948-…”
Conference Proceeding Book -
5
Nonmonotonic and inductive logic 1st international workshop, Karlsruhe, Germany, December 4-7, 1990 : proceedings /
Published 1991Other Authors: “…Schmitt, P. H. (Peter H.), 1948-…”
Full Text (via Springer)
Electronic eBook -
6
Nonmonotonic and inductive logic : 1st international workshop, Karlsruhe, Germany, December 4-7, 1990, proceedings /
Published 1991Other Authors: “…Schmitt, P. H. (Peter H.), 1948-…”
Conference Proceeding Book -
7
Deductive Software Verification -- The KeY Book From Theory to Practice /
Published 2016Other Authors: “…Schmitt, P. H. (Peter H.), 1948-…”
Full Text (via Springer)
Electronic eBook