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
- Completed projects
  - Gerichtete und parallele Validierung von abstrakten Spezifikationen (Research Grants)
  - Integration of Validation into Refinement-based Development (IVOIRE) (Research Grants)