Go directly to content Go directly to font size and contrast

Project Details

Institution

Print View

Heinrich-Heine-Universität Düsseldorf
Institut für Informatik
Arbeitsgruppe Softwaretechnik und Programmiersprachen

Address Universitätsstraße 1
40225 Düsseldorf
Deutschland

GERiT This institution in GERiT

40225 Düsseldorf

Projects

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

© 2024 DFG Disclaimer / Copyright / Privacy Policy