Home | deutsch  | Legals | Sitemap | KIT

Formaler Entwurf und Verifikation von Programmen (SS 07)

Formaler Entwurf und Verifikation von Programmen (SS 07)
Type: Vorlesung
Lecturer:

Prof. P. H. Schmitt

SWS: 3