Detailseite
Person
Professor Dr. Bernhard Möller
Adresse
Universität Augsburg
Institut für Informatik
Universitätsstraße 6a
86159 Augsburg
-
Als Antragsteller
-
abgeschlossene Projekte
-
Kalküle für charakteristische informatische Strukturen (Sachbeihilfen)
-
Algebra-basierte Feature-orientierte Programmsynthese (Sachbeihilfen) -
Algebraische Kalküle für Separationslogik (Sachbeihilfen)
-
-
abgeschlossene Projekte
