Detailseite
Dr. Peter Lammich
Adresse
Technische Universität München
Fakultät für Informatik
Lehrstuhl für Logik und Verifikation
Boltzmannstraße 3
85748 Garching
-
Als Antragsteller
-
abgeschlossene Projekte
-
Verifizierte Model Checker (Sachbeihilfen)
-
-
abgeschlossene Projekte