Home | deutsch | Legals | Sitemap | KIT

Logic and Formal Methods

Staff
Research
Teaching
Theses
Publications
Contact

MOCHA

MOCHA

Contact:	Prof. P. H. Schmitt David Faragó
Project Group:	Logik und Formale Methoden
Funding:	DFG

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