@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
| Autor(en): | Wolfgang Ahrendt, Thomas Baar, Bernhard Beckert, Martin Giese, Elmar Habermalz, Reiner Hähnle, Wolfram Menzel und Peter H. Schmitt |
|---|---|
| Institution: | University of Karlsruhe, Department of Computer Science |
| Nummer: | 2000/4 |
| Jahr: | 2000 |