Mattias Ulbrich

2 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)