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

Wohldefinierte Spezifikationen in KeY

Wohldefinierte Spezifikationen in KeY

Typ:	Studienarbeit
Betreuer:	Prof. P. H. Schmitt Mattias Ulbrich Benjamin Weiß

Links:	PDF

KIT – Universität des Landes Baden-Württemberg und nationales Forschungszentrum in der Helmholtz-Gemeinschaft