Formale Definition und Analyse einer idealisierten objektorientierten Programmiersprache
Fachliche Zuordnung
Theoretische Informatik
Förderung
Förderung von 2003 bis 2004
Projektkennung
Deutsche Forschungsgemeinschaft (DFG) - Projektnummer 5406711
Keine Zusammenfassung vorhanden
DFG-Verfahren
Sachbeihilfen
