Mattias Ulbrich und Peter - Info zur Person

(1 - 10 von 13

)

Deductive Software Verification – The KeY Book: From Theory to...

books.google.de

From Theory to Practice Wolfgang Ahrendt, Bernhard Beckert, Richard Bubel, Reiner Hähnle, Peter H. Schmitt, Mattias Ulbrich. International Joint Conference ...

Deductive Verification of Object-oriented Software: Dynamic ...

books.google.co.uk

Peter H. Schmitt, Mattias Ulbrich, and Benjamin Weiß. Dynamic frames in Java dynamic logic: Formalisation and proofs. Technical Report , ...

Deductive Software Verification – The KeY Book: From Theory to...

books.google.co.uk

Bernhard Beckert, Daniel Bruns, Vladimir Klebanov, Christoph Scheben, Peter H. Schmitt, and Mattias Ulbrich. Information flow in object-oriented software.

Modular Specification and Verification - DiVA portal

www.diva-portal.org

von D Grahl · · Zitiert von: 4 — ... Wolfgang Ahrendt, Bernhard Beckert, Richard Bubel, Reiner Hähnle, Peter H. Schmitt & Mattias Ulbrich, Heidelberg: Springer, 2016, p. › record

Program Verification: Next Steps For Usability

fm.csl.sri.com

next steps for more usable verification systems. Peter H. Schmitt and Mattias Ulbrich – Program Verification-Next Steps. November 16, › slides › ulbrich_steps_for_...

Mitarbeiter

lfm.iti.kit.edu

Bernhard Beckert, Daniel Bruns, Vladimir Klebanov, Christoph Scheben, Peter H. Schmitt, and Mattias Ulbrich. Information flow in object-oriented software. In Gopal Gupta and Ricardo Peñna, editors, Logic-Based Program Synthesis and Transformationpages 15–32, Madrid, Spain, Sept