Detailseite

Professor Dr. Manfred Schmidt-Schauß

Adresse Goethe-Universität Frankfurt am Main
Fachbereich 12: Informatik und Mathematik
Institut für Informatik
Robert-Mayer-Straße 11-15
60325 Frankfurt am Main

Projekte

Als Antragsteller
- abgeschlossene Projekte
  - Automatischer Korrektheitsnachweis von Programmtransformationen (Sachbeihilfen)
  - Improvements für nebenläufige call-by-need funktionale Programmiersprachen. (Sachbeihilfen)

Servicenavigation

Hauptnavigation

Professor Dr. Manfred Schmidt-Schauß

Zusatzinformationen

Servicenavigation

Hauptnavigation

Professor Dr. Manfred Schmidt-Schauß

Zusatzinformationen

Textvergrößerung und Kontrastanpassung