Diese Seiten sind veraltet. Bitte besuchen Sie unsere neue Homepage.

logo_p_de.gif (10088 Byte)

Institut für Theoretische Informatik
Forschungsgruppe Prof. Dr. P. H. Schmitt
Adresse/Kontakt
Mitarbeiter
Projekte
Studium und Lehre
Möglichkeiten zur Mitarbeit

 

Projekte

greenbal.gif (204 Byte)    KeY

greenbal.gif (204 Byte)    HIJA (High Integrity Java)

greenbal.gif (204 Byte)    abgeschlossene Projekte

engl-flagge.gif (750 Byte) lbeckert@mail.informatik.kit.edu 19. Juli 2007