Project Details
Person
Dr. Peter Lammich
Address
Technische Universität München
TUM School of Computation, Information and Technology
Lehrstuhl für Logik und Verifikation
Boltzmannstraße 3
85748 Garching
-
As Applicant
-
Completed projects
-
Verified Model Checkers (Research Grants)
-
-
Completed projects
