Project Details
Dr. Peter Lammich
Address
Technische Universität München
Fakultät für Informatik
Lehrstuhl für Logik und Verifikation
Boltzmannstraße 3
85748 Garching
-
As Applicant
-
Completed projects
-
Verified Model Checkers (Research Grants)
-
-
Completed projects