Home › Authors › Peter H. Schmitt 👤 Peter H. Schmitt 3 books Books by Peter H. Schmitt Deductive Software Verificatio Deductive Software Verification - the KeY Book 2016 Verification of Object-Oriente Verification of Object-Oriented Software. the KeY Approach 2007 Theorie der logischen Programmierung 1992
