Peter H. Schmitt
3 references under this name, matched as it is written. Somebody else may write under it too, and the same person may appear here spelled another way.
Deductive Software Verification – The KeY Book
Mattias Ulbrich et al. (2016)
Dynamic frames in Java dynamic logic
Peter H. Schmitt et al. (2011) · International Conference on Formal Verification of Object-Oriented Software (FoVeOOS)
Verification of object-oriented software: The KeY approach
Bernhard Beckert et al. (2007)