2016

Grahl, Daniel ; Bubel, Richard ; Mostowski, Wojciech ; Schmitt, Peter H. ; Ulbrich, Mattias ; Weiß, Benjamin
Hrsg.: Ahrendt, Wolfgang ; Beckert, Bernhard ; Bubel, Richard ; Hähnle, Reiner ; Schmitt, Peter H. ; Ulbrich, Mattias (2016)
Modular Specification and Verification.
In: Deductive Software Verification - The KeY Book - From Theory to Practice
doi: 10.1007/978-3-319-49812-6_9
Buchkapitel, Bibliographie

2008

Bubel, Richard ; Hähnle, Reiner ; Weiß, Benjamin
Hrsg.: de Boer, Frank S. ; Bonsangue, Marcello M. ; Madelaine, Eric (2008)
Abstract Interpretation of Symbolic Execution with Explicit State Updates.
Formal Methods for Components and Objects, 7th International Symposium, FMCO 2008, Sophia Antipolis, France, October 21-23, 2008, Revised Lectures.
doi: 10.1007/978-3-642-04167-9_13
Konferenzveröffentlichung, Bibliographie