Home | deutsch | Legals | Sitemap | KIT

Logic and Formal Methods

Staff
Research
Teaching
Theses
Publications
Contact

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

KIT – University of the State of Baden-Wuerttemberg and National Research Center of the Helmholtz Association