Project Details
Person
Professor Dr. Michael Hanus
Address
Christian-Albrechts-Universität zu Kiel
Technische Fakultät
Institut für Informatik
24098 Kiel
-
As Applicant
-
Completed projects
-
Eine Analyse- und Programmierumgebung für deklarative Sprachen (Research Grants)
-
Systematische Fehlersuche in deklarativen Programmen (Research Grants)
-
-
Completed projects
