Institut für Theoretische Informatik Forschungsgruppe Prof. Dr. P. H. Schmitt
Projekte
KeY HIJA (High Integrity Java) abgeschlossene Projekte
