Home
|
english
|
Impressum
|
Sitemap
|
KIT
Logik und Formale Methoden
Mitarbeiter
Forschung
Studium und Lehre
Studien- und Diplomarbeiten, Hiwi-Stellen
Veröffentlichungen
So finden Sie uns
Verifying the Mondex Case Study: The KeY Approach
Verifying the Mondex Case Study: The KeY Approach
Autor(en):
Isabel Tonin
Quelle:
Technical Report 2007-4, Universität Karlsruhe