Karlsruher Institut für Technologie (KIT)
Institut für Theoretische Informatik
Forschungsgruppe Logik und Formale Methoden (aufgelöst)
Address
Post Office Box 6980
76128 Karlsruhe
Deutschland
76128 Karlsruhe
Projects
Research Grants
Completed projects
Formal Object-oriented Software Development: The Whole Picture
(Applicants
Beckert, Bernhard
;
Schmitt, Peter H.
)
Integration von Modellprüfung und Automatischer Testgenerierung
(Applicant
Schmitt, Peter H.
)
Integrierter Deduktiver Software-Entwurf
(Applicant
Schmitt, Peter H.
)
Integrierter Deduktiver Software-Entwurf
(Applicant
Beckert, Bernhard
)