Steffen Schlager

Steffen Schlager

Hochschule Offenburg - Offenburg / Germany
Others
AD Scientific Index ID: 915934
Offenburg University of Applied Sciences
person_outline Steffen Schlager's MOST POPULAR ARTICLES
1-) The KeY tool: integrating object oriented design and formal verificationW Ahrendt, T Baar, B Beckert, R Bubel, M Giese, R Hähnle, W Menzel, ...Software & Systems Modeling 4, 32-54, 20054002005
2-) RACË ÅB Beckert, M Giese, E Habermalz, R Hähnle, A Roth, P Rummer, ...Ciencias 98 (1), 17-53, 2004422004
3-) A sequent calculus for first-order dynamic logic with trace modalitiesB Beckert, S SchlagerInternational Joint Conference on Automated Reasoning, 626-641, 2001342001
4-) Software verification with integrated data type refinement for integer arithmeticB Beckert, S SchlagerIntegrated Formal Methods: 4th International Conference, IFM 2004 …, 2004322004
5-) An improved rule for while loops in deductive program verificationB Beckert, S Schlager, PH SchmittInternational Conference on Formal Engineering Methods, 315-329, 2005272005