Professor Dr. Michael Leuschel

Adresse Heinrich-Heine-Universität Düsseldorf
Institut für Informatik
Arbeitsgruppe Softwaretechnik und Programmiersprachen
Universitätsstraße 1
40225 Düsseldorf

Projekte

Als Antragsteller
- abgeschlossene Projekte
  - Gerichtete und parallele Validierung von abstrakten Spezifikationen (Sachbeihilfen)
  - Validierung für schrittweise Verfeinerung (Sachbeihilfen)