Detailseite
Person
Professor Dr. Roland Meyer
Adresse
Technische Universität Braunschweig
Carl-Friedrich-Gauß-Fakultät
Institut für Theoretische Informatik
Mühlenpfordtstraße 22-23
38106 Braunschweig
-
Als Antragsteller
-
abgeschlossene Projekte
-
Robustheit gegenüber schwachen Speichermodellen (Sachbeihilfen) -
Effektive Denotationelle Semantik für die Synthese (Sachbeihilfen)
-
-
abgeschlossene Projekte
