@TechReport{AhrendtBaarEA00,
author = {Wolfgang Ahrendt and Thomas Baar and Bernhard Beckert
and Martin Giese and Elmar Habermalz and Reiner
H\"ahnle and Wolfram Menzel and Peter H. Schmitt},
title = {The {\KeY} Approach: {I}ntegrating Object Oriented
Design and Formal Verification},
institution = {University of Karlsruhe, Department of Computer Science},
number = {2000/4},
month = jan,
year = {2000}
}
The KeY Approach: Integrating Object Oriented Design and Formal Verification
| Author(s): | Wolfgang Ahrendt, Thomas Baar, Bernhard Beckert, Martin Giese, Elmar Habermalz, Reiner Hähnle, Wolfram Menzel, and Peter H. Schmitt |
|---|---|
| Institution: | University of Karlsruhe, Department of Computer Science |
| Number: | 2000/4 |
| Year: | 2000 |