Project Details

Professor Dr. Michael Leuschel

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

Projects

As Applicant
- Current projects
  - Integration of Validation into Refinement-based Development (IVOIRE) (Research Grants)
- Completed projects
  - Gerichtete und parallele Validierung von abstrakten Spezifikationen (Research Grants)

Servicenavigation

Hauptnavigation

Professor Dr. Michael Leuschel

Additional Information

Servicenavigation

Hauptnavigation

Professor Dr. Michael Leuschel

Additional Information

Textvergrößerung und Kontrastanpassung