Project Details
Person
Professor Dr. Roland Meyer
Address
Technische Universität Braunschweig
Carl-Friedrich-Gauß-Fakultät
Institut für Theoretische Informatik
Mühlenpfordtstraße 22-23
38106 Braunschweig
-
As Applicant
-
Completed projects
-
Robustness against Relaxed Memory Models (R2M2) (Research Grants) -
Effective Denotational Semantics for Synthesis (Research Grants)
-
-
Completed projects
