Direkt zum Inhalt springen Direkt zu Textvergrößerung und Kontrast springen

Detailseite

Institution

Druckansicht

Karlsruher Institut für Technologie (KIT)
Institut für Theoretische Informatik
Forschungsgruppe Logik und Formale Methoden (aufgelöst)

Adresse Postfach 6980
76128 Karlsruhe
Deutschland

76128 Karlsruhe

Projekte

Sachbeihilfen
- abgeschlossene Projekte
  - Formal Object-oriented Software Development: The Whole Picture
    (Antragsteller Beckert, Bernhard ; Schmitt, Peter H. )
  - Integration von Modellprüfung und Automatischer Testgenerierung
    (Antragsteller Schmitt, Peter H. )
  - Integrierter Deduktiver Software-Entwurf
    (Antragsteller Schmitt, Peter H. )
  - Integrierter Deduktiver Software-Entwurf
    (Antragsteller Beckert, Bernhard )

© 2024 DFG Kontakt / Impressum / Datenschutz