Home | deutsch | Legals | Sitemap | KIT

Logic and Formal Methods

Staff
Research
Teaching
Theses
Publications
Contact

COST Action IC0701

COST Action IC0701

Contact:	Prof. P. H. Schmitt Mattias Ulbrich Benjamin Weiß	links:	COST Action IC0701

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