Project Details
Person
Dr. Axel Simon
Address
Technische Universität München
TUM School of Computation, Information and Techn
Lehrstuhl für Sprachen und Beschreibungsstrukturen in der Informatik
Boltzmannstraße 3
85748 Garching
-
As Applicant
-
Completed projects
-
Verifikation der Speicherhandhabung in bestehenden C Programmen mit numerischen abstrakten Domänen. (Independent Junior Research Groups)
-
-
Completed projects
