Project Details
Person
Professor Dr. Bernhard Möller
Address
Universität Augsburg
Fakultät für Angewandte Informatik
Institut für Informatik
Universitätsstraße 6a
86159 Augsburg
-
As Applicant
-
Completed projects
-
Kalküle für charakteristische informatische Strukturen (Research Grants)
-
Algebra-basierte Feature-orientierte Programmsynthese (Research Grants) -
Algebraic Calculi for Separation Logic (Research Grants)
-
-
Completed projects
