Professor Dr. Michael Hanus

Adresse Christian-Albrechts-Universität zu Kiel
Technische Fakultät
Institut für Informatik
24098 Kiel

Projekte

Als Antragsteller
- abgeschlossene Projekte
  - Eine Analyse- und Programmierumgebung für deklarative Sprachen (Sachbeihilfen)
  - Systematische Fehlersuche in deklarativen Programmen (Sachbeihilfen)