These pages are out of date. Please visit our new home page.

logo_p_en_old.gif (10114 Byte)

Institute for Theoretical Computer Science
Research Group Prof. Dr. P. H. Schmitt
Address/Contact
Staff
Projects
Education

 

 

Projects

greenbal.gif (204 Byte)    KeY

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

greenbal.gif (204 Byte)    past projects

deut-flagge.gif (643 Byte) lbeckert@ira.uka.de  19 Jul 07